Cardano Updates

- 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

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]>

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.

refactor(end-to-end): read transaction and block hashes from immutables files

ChurnMode refactored

fix(node): log tx submission failures as warnings

* mithril-end-to-end from `0.4.130` to `0.4.131`