Cardano Updates

Add implementation for stake certificate creation in `cardano-wasm`

Remove GetCBOR wrapper from QueryLedgerPeerSnapshot

Return LedgerPeerSnapshot directly instead of Serialised LedgerPeerSnapshot,
as there is no reason to keep the result serialized.

Add deserialiseFromTextEnvelopeJSON and deserialiseFromTextEnvelopeJSONAnyOf
which accept a raw ByteString, enabling text envelope deserialization without
file I/O. Refactor readFileTextEnvelope and readFileTextEnvelopeAnyOf to use
the new functions.

Fix serialiseToCBOR to extract raw script bytes from PlutusRunnable
instead of using L.serialize' which adds CBOR framing that
deserialiseFromCBOR does not expect.

Add CBOR and TextEnvelope roundtrip tests for PlutusScriptInEra and
AnyPlutusScript. Add haddocks for the text envelope functions.

The hardcoded surplus range assumed a fixed F1 for all inputs, but
the fee varies with generated address structure (credential types,
staking references). Compute F1 per-test via calcMinFeeTx and set
surplus to [F1+4, F1+10].

Also deduplicates genTinySurplusTx — it now lives only in Fee.hs —
and adds a deterministic fee gap invariant test.

The hardcoded surplus range assumed a fixed F1 for all inputs, but
the fee varies with generated address structure (credential types,
staking references). Compute F1 per-test via calcMinFeeTx and set
surplus to [F1+4, F1+10].

Also deduplicates genTinySurplusTx — it now lives only in Fee.hs —
and adds a deterministic fee gap invariant test.

Fix serialiseToCBOR to extract raw script bytes from PlutusRunnable
instead of using L.serialize' which adds CBOR framing that
deserialiseFromCBOR does not expect.

Add CBOR and TextEnvelope roundtrip tests for PlutusScriptInEra and
AnyPlutusScript. Add haddocks for the text envelope functions.

Remove max-backjumps from cabal.project

Add Copilot instructions to ignore sha256 comment mismatches in cabal.project