Cardano Updates

UTXO with subtransactions

Consolidates golden tests from the separate `cardano-ledger-alonzo-test`
package into the main `cardano-ledger-alonzo` impl package, following the
same pattern already completed in other eras (allegra, mary, conway, babbage).

The `Test.Cardano.Ledger.Alonzo.Binary.Golden.spec` is already getting
called in the `Test.Cardano.Ledger.Alonzo.GoldenSpec` module.

Consolidates golden tests from the separate `cardano-ledger-alonzo-test`
package into the main `cardano-ledger-alonzo` impl package, following the
same pattern already completed in other eras (allegra, mary, conway, babbage).

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

Add plain DecCBOR instances for DijkstraBlockBodyRaw and
DijkstraBlockBody (needed for decoder equivalence tests), and a
custom ToExpr instance for DijkstraBlockBody. Add block_body to
the CddlSpec test suite.

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

Define HuddleRule instances for "block_body" and "peras_certificate"
in the Dijkstra era, with a custom CBOR generator for block_body
that generates valid transaction indices. Update the CDDL spec to
match the new block structure: block = [header, block_body].

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

Replace the manual segmented-witness serialization with MemoBytes,
which simplifies the code significantly. The block body is now
serialized as a flat 3-element list [invalid_transactions, transactions,
peras_certificate] instead of 5 separate segments.

Also fix PerasCert to encode/decode as bytes (matching CDDL),
reimplement alignedValidFlags using IntSet, and expose
DijkstraBlockBodyRaw/MkDijkstraBlockBody from Internal module.

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

Change genArrayTerm from Gen to MonadGen so it can be used in
CBORGen contexts (e.g. custom CBOR generators for Huddle specs).

Define HuddleRule instances for "block_body" and "peras_certificate"
in the Dijkstra era, with a custom CBOR generator for block_body
that generates valid transaction indices. Update the CDDL spec to
match the new block structure: block = [header, block_body].

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

Add plain DecCBOR instances for DijkstraBlockBodyRaw and
DijkstraBlockBody (needed for decoder equivalence tests), and a
custom ToExpr instance for DijkstraBlockBody. Add block_body to
the CddlSpec test suite.

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