Cardano Updates

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.

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.

No longer allow leftover bytes when decoding IPv4/IPv6 addresses regardless
of decoder version.

so that it gets applied only if transaction is valid, and at both top
and sub level

Verify that the decoder rejects big integers (CBOR tags 2/3) outside
the valid CBOR int range of -2^64 .. 2^64-1, and accepts values at
the boundaries. Also fix an off-by-one in the comment documenting
the supported range.

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

- 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