Cardano Updates

release-cabal-version (set by scripts/release/release-candidate.sh:42)
strips the leading 0. from the cabal version field, so the sanity
check needs to do the same to avoid spuriously failing every run.

Caught by self-test against PR #5274.

Catches stale Cachix substitutions and broken checkouts at build
time rather than during verify-artifacts. Two new steps in the
build-artifacts job:

1. Sanity-check checkout: assert the working tree's HEAD and the
   wallet cabal version both match the values produced by the
   prepare job, so a mis-checked-out runner cannot enter the build.

2. Smoke test built artifact: assert the result/ archive's
   filename contains the expected git tag, then extract and
   assert the binary's `version` output contains it too. Skipped
   for the docker-image entry and for Windows (no wine on the
   builder; verify-artifacts still covers it).

Refs cardano-foundation/cardano-wallet#5273.

Signed-off-by: Eric Torreborre <[email protected]>

We no longer need to check for thunks in the contents of
`BlockTransitionError`, becasue the constructor uses `deepseq` to force
everything to normal form.

We could of course bring back strictness annotation and `NoThunks`
instances for all of the predicate failures, however this whole overhead
is an overkill, because:
* we do not need to optimize for the failing case and it is ok to
  introduce a little overhead upon failure. FTR: the only time we
  persist predicate failures is when we write to disk temporarely for
  chains with bad blocks.
* Maintaining `NoThunks` instances for *all* predicate failures for a
  single edge is a burden
* There is a plan to utilize laziness in predicate failures in order to
  add timing measurement for failure checks in ledger rules

Co-authored-by: Fabrizio Ferrai <[email protected]>

The signedTx wrapping in Cardano.Wallet went through
toCardanoApiTx -> inAnyCardanoEra -> sealedTxFromCardano purely to
smuggle the already-ledger tx back through cardano-api. Use the
existing ledger-native sealWriteTx from Transaction.Ledger instead
(now exported). Drops the two cardano-api bridges inAnyCardanoEra and
sealedTxFromCardano from this module.

Also refresh the sealWriteTx haddock (the function has been ledger-
native since the last revamp; the stale comment claimed otherwise).

Mirror the TransactionsNew.hs:getMetadataFromTx port: project metadata
directly from Read.Tx era via Meta.getMetadata . Meta.getEraMetadata
instead of round-tripping through cardano-api. Drops the two callers
of cardanoTxIdeallyNoLaterThan in this file and the Cardano.Api /
ApiEra qualified imports.

Server.hs carried a local copy of sealWriteTx that re-entered
cardano-api (toCardanoApiTx + sealedTxFromCardano) to wrap an already
ledger-native balanceTx result. Import the ledger-native sealWriteTx
from Transaction.Ledger instead; the local helper goes away. Two call
sites now pass Write.recentEra explicitly.

Drops the cardano-api bridges cardanoEraFromRecentEra, toCardanoApiTx
and W.sealedTxFromCardano from this module's imports.

The function has been an ADP-3077 TODO stub (error "...") for a long
time; the commented-out cardano-api body still referenced
getSealedTxBody and sealedTxFromCardanoBody, which blocks their
removal. Drop the dead block and note that a future implementation
should operate on Read.Tx era via reqSignerHashesTxBodyL.

Enumerates every remaining caller of the deprecated surface after
#5271: production (Cardano.Wallet.hs, Server.hs), old tx builder
(Shelley/Transaction.hs, partially overlaps with #5243), integration
tests (Shared/Transactions.hs, addRequiredSigners in TransactionsNew)
and unit tests (TransactionSpec, TransactionLedgerSpec).

Organises the work into three phases:
  A. reachable without #5243 (4 sites)
  B. unit-test migration (~20 sites, two files)
  C. delete the bridge functions and the three Cardano.Api*
     imports in SealedTx.hs

release-cabal-version (set by scripts/release/release-candidate.sh:42)
strips the leading 0. from the cabal version field, so the sanity
check needs to do the same to avoid spuriously failing every run.

Caught by self-test against PR #5274.

Deliberate desync to verify the new Sanity-check step in
build-artifacts catches a runner whose cabal version doesn't
match prepare's release-cabal-version output. Not for merging.

Refs cardano-foundation/cardano-wallet#5273.

This reverts commit 78a9bd09c33e45198458535346031f97c0444ba2.