Cardano Updates

Lehins/10.7 integration

toLedgerDatum was incorrectly converting TxOutSupplementalDatum to
L.Datum (inline representation). Per the Alonzo ledger spec,
supplemental datums should produce L.DatumHash on the output, with
the full datum data going into TxDats separately.

Also updates fromLegacyTxOut to return supplemental datum data
alongside the TxOut, so callers can populate txSupplementalDatums.
Adds supplementalDatumFromLegacy helper for this purpose.

getDatums previously extracted datums from transaction outputs using
L.dataTxOutL, which could not distinguish between inline datums and
supplemental datums, causing both to be added to TxDats.

Per the Alonzo ledger spec, supplemental datums are only those whose
hashes correspond to output DatumHash fields. Inline datums should
never appear in TxDats.

This commit introduces a txSupplementalDatums field on TxBodyContent
so supplemental datums can be provided explicitly, and refactors
getDatums to use this field instead of extracting from outputs.

Convert balanceTxOuts to return Either RecursiveFeeCalculationError
instead of calling error on empty outputs. Adds NoTxOuts constructor
to RecursiveFeeCalculationError.

Three Hedgehog properties in Test.Cardano.Api.Experimental verify the
key invariants of the recursive fee calculator:

- well-funded transaction always succeeds and produces a positive fee
- fee calculation is idempotent (result is a fixed point)
- underfunded transaction (outputs exceed inputs) always returns
  NotEnoughAda with a negative deficit coin

Two lovelace-only generators drive the tests: one with
generous UTxO funding (5–20 ADA input, 1–3 ADA output) and one where
the output deliberately exceeds the input (0.5–2 ADA vs 5–10 ADA).

Expose calculateMinimumUTxO