Cardano Updates

Makeshift changes to the the constraints to enable ledger queries in
Dijkstra. This undid some TODO stubs, but the changes to registration
certificates required some stubbing further down the line.

Queries that should work at least:

  query protocol-parameters
  query utxo
  query ledger-state

Replace the provisional client-side applyTx implementation with a proper
server-side query through the LocalStateQuery protocol. This avoids
transferring the full ledger state to the client.

Replace the provisional client-side applyTx implementation with a proper
server-side query through the LocalStateQuery protocol. This avoids
transferring the full ledger state to the client.

Add re-exports for ApplyTxError(..), ConwayLedgerPredFailure(..),
ConwayUtxowPredFailure(..), ConwayUtxoPredFailure(..), Mismatch(..),
and hashToTextAsHex so downstream consumers (cardano-cli) can
pattern-match on ledger predicate failures for human-readable
error rendering.

Add re-exports for ApplyTxError(..), ConwayLedgerPredFailure(..),
ConwayUtxowPredFailure(..), ConwayUtxoPredFailure(..), Mismatch(..),
and hashToTextAsHex so downstream consumers (cardano-cli) can
pattern-match on ledger predicate failures for human-readable
error rendering.

Adds a new local state query that runs applyTx against the current
ledger state and returns the raw result. The provisional implementation
queries the full EpochState and runs applyTx client-side; this will be
replaced by a dedicated node-side consensus query.

Exposed from Cardano.Api.Query alongside other queries.

Add re-exports for ApplyTxError(..), ConwayLedgerPredFailure(..),
ConwayUtxowPredFailure(..), ConwayUtxoPredFailure(..), Mismatch(..),
and hashToTextAsHex so downstream consumers (cardano-cli) can
pattern-match on ledger predicate failures for human-readable
error rendering.

Runs both applyTx (phase 1) and evaluateTransactionExecutionUnits (phase 2)
independently in a single LocalStateQueryExpr session, returning both results
via TxValidationResult.

Add re-exports for ApplyTxError(..), ConwayLedgerPredFailure(..),
ConwayUtxowPredFailure(..), ConwayUtxoPredFailure(..), Mismatch(..),
and hashToTextAsHex so downstream consumers (cardano-cli) can
pattern-match on ledger predicate failures for human-readable
error rendering.