Cardano Updates

Replace these partials with more type-safe (Shelley)EraForecast, clearly
separating TPraos forecasts from Praos ones, and also distinguising
current and future forecasts in their respective types.

Also change PredicateFailure TICKN to be Void, and remove empty datatype
TicknPredicateFailure.

Update ConwayTICKF to have Void as its PredicateFailure. This makes the
implementation clearer while also allowing futureForecast to be pure.

Forecast t BabbageEra = BabbageForecast t BabbageEra

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

`validateOutsideForecast`, `validateOutputTooBigUTxO`

Currently, the `B` constructor contains a `ByteString` (pinned in
memory) with a max length of 64 bytes. Since the `ByteString` is small
and can be instantiated frequently, it makes more sense to use an
unpinned byte array representation (`Data.Array.Byte.ByteArray`) so
that we can take advantage of Haskell's garbage collection to improve
memory allocation of objects in the heap.

We also place an upper bound on `nothunks` because of new orphan
instance (`instance NoThunks ByteArray`) that is going to be upstreamed.

Currently, the `B` constructor contains a `ByteString` (pinned in
memory) with a max length of 64 bytes. Since the `ByteString` is small
and can be instantiated frequently, it makes more sense to use an
unpinned byte array representation (`Data.Array.Byte.ByteArray`) so
that we can take advantage of Haskell's garbage collection to improve
memory allocation of objects in the heap.

We also place an upper bound on `nothunks` because of new orphan
instance (`instance NoThunks ByteArray`) that is going to be upstreamed.

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

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

After removing distinct_bytes, the CDDL generator could produce
duplicate empty byte strings for plutus scripts in nonempty_set
collections (tag 258). The Set decoder would deduplicate them,
causing a length mismatch error. Fix by generating 32-byte random
bytestrings which makes collisions virtually impossible.

Also mark proposal_procedure antiCborSpec as pending due to
unrelated protver decoder issue.

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