Cardano Updates

Bump actions/upload-pages-artifact from 4 to 5 in the actions group

Bumps the actions group with 1 update: [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact).


Updates `actions/upload-pages-artifact` from 4 to 5
- [Release notes](https://github.com/actions/upload-pages-artifact/releases)
- [Commits](https://github.com/actions/upload-pages-artifact/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/upload-pages-artifact
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: actions
...

Signed-off-by: dependabot[bot] <[email protected]>

* Avoid attempted rebuilding by `cabal`
* Eliminate the need for restoring cache
* Reduce the size of artifacts passed between `build` and `test`
* Reduce the fragile duplication of logic between `build` and `test`

* Avoid attempted rebuilding by `cabal`
* Eliminate the need for restoring cache
* Reduce the size of artifacts passed between `build` and `test`
* Reduce the fragile duplication of logic between `build` and `test`

- Add `hspec-golden` dependency to `cardano-ledger-alonzo-test`
- Replace manual `readFile` + `shouldBe` comparisons with `hspec-golden` Golden type
- Golden files are auto-created on first run and can delete to regenerate
- Remove trailing newlines from JSON golden files to match `Aeson.encode` output
- Fix `goldenGenesisSerialization` to use `getDataFileName` for correct installed path

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

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.

Apply these to Redeemers.

- 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

Generate valid invalid_transactions indices that are within the tx
count range. Uses AntiGen to produce out-of-range indices when zapping
for anti-CBOR tests.