Cardano Updates

to fix the tests failing because of the new predicate failure

to fix the tests failing because of the new predicate failure

- Added blockBodySize method
- Added more CddlSpec tests
- Add BlockBody DecCBOR instance
- Fix PerasCert to encode/decode as bytes (matching CDDL nil / VBytes)
- Use encodeNullStrictMaybe/decodeNullStrictMaybe for optional peras_certificate
- Handle both definite and indefinite length lists in BlockBody decoder
- Add index range validation in BlockBody decoder (matching Alonzo)
- Add DecCBOR instances for DijkstraBlockBodyRaw and DijkstraBlockBody in testlib
- Add NFData and EncCBOR deriving for DijkstraBlockBody newtype
- Export DijkstraBlockBodyRaw and MkDijkstraBlockBody from Internal module
- Add custom CBOR generator for block_body
- Use deriving via Mem for Annotator BlockBody decoder
- Reimplement alignedValidFlags using IntSet
- Update changelogs

genDatumPresent generates only DatumHash and Datum (no NoDatum),
for use in CDDL roundtrip tests where NoDatum is not valid.

genNonEmptyAccountBalanceIntervals ensures at least one entry,
matching the CDDL spec.

Add fullCddlSpec, fullGenCddlSpec, fullAnnCddlSpec, and
fullAnnGenCddlSpec which bundle all Huddle-based CDDL tests
(roundtrip, arbitrary-validate, anti-CBOR, decoder equivalence)
for a given type behind a single call.

Co-authored-by: Alexey Kuleshevich <[email protected]>

Replace individual huddle* test calls with the combined harnesses.
Types with Annotator instances use huddleCodecSpecFull, others use
huddleCodecSpecNoAnn. This adds anti-CBOR and Haskell roundtrip
coverage. Equivalence entries now covered by huddleCodecSpecFull
are removed from the bottom section.

Rename the Gen-taking variants to huddleCodecSpec{Full,NoAnn}Gen and
add new huddleCodecSpec{Full,NoAnn} that use the Arbitrary instance,
matching the huddleRoundTripArbitraryValidate pattern.