Cardano Updates

- CHaP and hackage index-states updated
- ouroboros-consensus 1.0.0.0 → 3.0.1.0
- cardano-ledger-core 1.19 → 1.20, conway 1.21 → 1.22
- Removed version bounds from .cabal (managed in cabal.project)
- Updated flake.lock (CHaP, haskellNix)

feat: migrate message exchange demo to async-icq

This is not ideal, but seems to make the prototype more resilient.

Also uses BEGIN IMMEDIATE queries to detect contention when starting a
transaction.

This could be further improved by having only one writer thread.

This also moves the implementations into separate modules

Signed-off-by: Allain Magyar <[email protected]>

Some fields in transaction were empty.
Therefore, we make sure each field has at least some entry so that our
serialisation golden tests can detect regressions in transaction
serialisation.

- Add `hspec-golden` dependency to `cardano-ledger-alonzo-test`
- Replace manual `readFile` + `shouldBe` comparisons with `hspec-golden` Golden type
- Golden files are auto-created on first run and can delete to regenerate
- Remove trailing newlines from JSON golden files to match `Aeson.encode` output
- Fix `goldenGenesisSerialization` to use `getDataFileName` for correct installed path

Add streaming interface to era transition for initial funds injection

Signed-off-by: cryptodj413 <[email protected]>

Add HasCallStack to calcMinFeeRecursive, estimateOrCalculateBalancedTxBody,
and constructBalancedTx, which call balanceTxOuts, makeTransactionBodyAutoBalance,
estimateBalancedTxBody, and calculateMinimumUTxO that already carry the constraint.

Add HasCallStack to makeShelleyTransactionBody, createAndValidateTransactionBody,
fromLegacyTxOut, and toShelleyUTxO, which call functions like mkCommonTxBody,
toShelleyTxOutAny, toShelleyTxOut, and createTransactionBody that already
carry the constraint.