Cardano Updates

Added the following tests:

* JSON roundtrip property test
* Unit test for trying to decode an empty object `{}` for the
  `NonEmptyMap`, and an empty list `[]` for the `NonEmptySet`. These
  scenarios are expected to fail with a specific error message.

Using `pre-commit run --all-files` will now run `fourmolu`,
`cabal-gild` and `shellcheck` on all modified files.

Did not add `hlint` for now because there are *lots* of warnings that
will take time to fix.

Change `B` constructor of `Metadatum` from `ByteString` to `ByteArray`

Using `pre-commit run --all-files` will now run `fourmolu`,
`cabal-gild`, `shellcheck` and `nixpkgs-fmt` on all modified files.

Did not add `hlint` for now because there are *lots* of warnings that
will take time to fix.

`validateInputSetEmptyUTxO`, `validateBadInputsUTxO`,
`validateMaxTxSizeUTxO`, `validateOutputBootAddrAttrsTooBig``

Using `pre-commit run --all-files` will now run `cabal-gild` (as well as
`fourmolu`) on all modified files.

Normalize `StakeRefPtr` addresses better and improve UTxO decoding

Using `pre-commit run --all-files` will now run `cabal-gild` (as well as
`fourmolu`) on all modified files.

This is the first set of changes to deprecate GetLedgerView et. al. from
cardano-ledger-tpraos.[^1]

This makes everything more type-safe, clearly separating TPraos forecasts
from those for Praos. It also distinguishes current from future forecasts
at the type-level.

[^1]: https://github.com/IntersectMBO/cardano-ledger/issues/5617

Add withGenerator to plutus_v4_script to prevent set collisions, matching
the fix for V1/V2/V3. Enable previously disabled Dijkstra tests that now
pass: AuxData roundtrip, TxOut/Script/TxWits ArbitraryValidate,
PParamsUpdate/ProposalProcedure/GovAction ArbitraryValidate, and TxAuxData
decoder equivalence. Update xdescribe reasons for tests that remain
disabled (plutus_v4_script tag 4 not yet supported by decoder, metadatum
validation, empty redeemers).

Co-Authored-By: Claude Opus 4.6 <[email protected]>

* Update formal-ledger-specifications

* Add externalFunctions parameter to Ledger and Ledgers

* Add Language to Plutus scripts in conformance

* Enable Utxos tests

* Remove OVERLAPPING and use sortOn fst for LanguageCostModels