Cardano Updates

by extracting the shared logic in helpers

in `mkStAnnTx`

divupTransition chained after alonzoBbodyTransition: B1 sdChecks (optimistic
bytes+ExUnits fit RB limits -> OptimisticOverflowsBlock{,ExUnits}) then B2
endOfBlock (reprice = id for now, reset usage). Spec ref: s5.

Add the Cardano.Ledger.DynamicPricing domain (InclusionStrategy, Pricing,
State) and the EraPricing era-family, following the EraGov/EraCertState
pattern. UTxOState gains a family-typed utxosPricing field: NoPricing for
Shelley-Conway, DynamicPricing for Dijkstra (seeded by the Conway->Dijkstra
translation with initialPricingState). Spec ref: DYNAMIC_PRICING_LEDGER_RULES.md s1.

U1 replaces the plain min-fee premise with quoteFor (BidBelowQuote on
failure); U2 records per-strategy usage. Fee split on feeRefundAccount: base
stays in the fee pot, premium to donations, refund recorded as pending.
Spec ref: s2, s3.

flushPendingRefunds credits registered accounts via addToBalanceAccounts
after each tx; refunds to unregistered accounts stay pending. Spec ref: s4.

dtbInclusion (CBOR key 27, default Optimistic omitted), dtbFeeRefundAccount
(key 28) and dtbBidFee (the fee field read as a price cap). Test fixtures
(Arbitrary/Annotator/Examples/TreeDiff) updated. Spec ref: s2, s3.

* Add FromJSON (TxOut era) as EraTxOut superclass constraint
* Add FromJSON t as Val t superclass constraint
* Add ToJSON/FromJSON for Datum era
* Add FromJSON for ShelleyTxOut, AlonzoTxOut, BabbageTxOut
* Add FromJSON for MaryValue; fix FromJSON/FromJSONKey for AssetName to hex-decode
* Add round-trip JSON property test for TxOut era

* Add ToJSON, FromJSON and NFData as EraTxWits superclass constraints
* Add ToJSON/FromJSON for WitVKey, BootstrapWitness
* Add ToJSONKey/FromJSONKey for AccountId
* Add ToJSON/FromJSON for Inclusive and Exclusive
* Add FromJSON for TxIn; fix txInToText to use unTxIx
* Add FromJSON for PoolCert
* Add ToJSON/FromJSON for ShelleyTxWits era
* Add FromJSON for AsIx, AlonzoPlutusPurpose AsIx, TxDats, Redeemers, AlonzoTxWits
* Add FromJSON for ConwayDelegCert, ConwayGovCert, ConwayTxCert era, ConwayPlutusPurpose
* Add FromJSON for GovActionId, Voter, Vote, VotingProcedure, ProposalProcedure, GovAction, GovPurposeId
* Add ToJSON/FromJSON for AccountBalanceInterval, DijkstraScript
* Add FromJSON for DijkstraDelegCert, DijkstraTxCert era
* Add round-trip JSON property test for TxWits era

* Add ToJSON/FromJSON and NFData as EraTxAuxData superclass constraints
* Add ToJSON/FromJSON for Metadatum
* Add ToJSON/FromJSON for Data era and PlutusBinary
* Add FromJSON for PoolCert, ConwayGovCert, DijkstraDelegCert, DijkstraTxCert era
* Add ToJSON/FromJSON for ShelleyTxAuxData, AllegraTxAuxData, AlonzoTxAuxData
* Add round-trip JSON property test for TxAuxData era