Cardano Updates

Adds genAnyScript and genSimpleScriptInEra generators, along with
roundtrip and garbage-input property tests for SerialiseAsCBOR AnyScript.

Uses eqT to handle the existential lang in AnyPlutusScript, delegating
to the underlying Eq instances on SimpleScript and PlutusScriptInEra.
Also adds Typeable lang constraint to the AnyPlutusScript constructor.

Add HasTypeProxy and SerialiseAsCBOR instances for AnyScript era,
enabling CBOR serialisation/deserialisation of both simple and plutus
scripts using the ledger's native Script era encoding format.

Closes #1088

Wrap connectToLocalNode in try @SomeException and introduce a unified
TxSubmitResult return type with three constructors: TxSubmitSuccess,
TxSubmitFail, and TxSubmitError. Previously, network-level errors (e.g.
BearerClosed) escaped as exceptions; they are now surfaced as TxSubmitError.

Update the cardano-rpc call site to pattern-match on TxSubmitResult
directly, removing the tryAny workaround it used to compensate for this.

Wrap connectToLocalNode in try @SomeException and introduce a unified
TxSubmitResult return type with three constructors: TxSubmitSuccess,
TxSubmitFail, and TxSubmitError. Previously, network-level errors (e.g.
BearerClosed) escaped as exceptions; they are now surfaced as TxSubmitError.

Update the cardano-rpc call site to pattern-match on TxSubmitResult
directly, removing the tryAny workaround it used to compensate for this.

Replace the nested Either SomeException (SubmitResult ...) with a single
TxSubmitResult sum type with three constructors: TxSubmitSuccess,
TxSubmitFail, and TxSubmitConnectionError. Callers now do one pattern
match instead of a nested Either/SubmitResult combination.

- Apply fourmolu formatting to Scripts.hs (break long lines)
- Remove ordered-containers from cardano-api-test build-depends
  (unused after replacing inline list comprehensions with direct calls
  to the exported extractWitnessable* functions)

Adds genAnyScript and genSimpleScriptInEra generators, along with
roundtrip and garbage-input property tests for SerialiseAsCBOR AnyScript.

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

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

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

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

- Golden/Genesis.hs: KeyHash Genesis -> KeyHash GenesisRole
  (KeyRole is now type data with GenesisRole constructor)
- Crypto.hs: use non-deprecated DSIGN size functions
  (verKeySizeDSIGN, signKeySizeDSIGN, sigSizeDSIGN)
- EpochLeadership.hs: pdTotalActiveStake is now NonZero Coin
  (use knownNonZeroCoin @1 instead of toCompactPartial 0)
- Experimental.hs: uappCostModels -> uappPlutusV1CostModel
  (UpgradeAlonzoPParams split cost models field)
- Genesis.hs: agCostModels removed; build CostModels from new fields
  and look for PlutusV2 in agExtraConfig.aecCostModels
- Genesis JSON test files: move PlutusV2 from costModels to
  extraConfig.costModels (new JSON format requirement)
- Autobalance.hs: raNetwork/raCredential deprecated; use
  AccountAddress{aaNetworkId, aaId=AccountId(...)} instead

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