Cardano Updates

New sub-module for reward-related queries (non-myopic member rewards,
per-pool reward info). Adds Ord instances to RewardInfoPool and
RewardParams in Wallet.hs to support the QueryResultRewardInfoPools
stable type.

* `NonZero`
* `CompactForm Coin`
* `Credential`
* `KeyHash`
* `ScriptHash`
* and `StakeWithDelegation`

Fix nix build failure in `plutus-preprocessor`

Empty bootstrap witnesses list is accepted by the decoder but
rejected by CDDL validation (nonempty_set).

Derive DecCBOR (Annotator (DijkstraBlockBody era)) via
Mem (DijkstraBlockBodyRaw era) to preserve original bytes in
MemoBytes, matching the pattern used by AlonzoTxWits and other
memoized types. This fixes the hash mismatch between the Annotator
and non-Annotator decoders.

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.

- 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
- xdescribe block_body CDDL round-trip tests (invalid_transactions indices)

These queries are from consensus, cardano-api, cardano-cli, and
Shelley.API.Wallet.