Cardano Updates

This reverts commit 187c3971a34e5ee4c42f4ea3b21eb61d1a7bad66.

The io_uring library is linux-kernel specific, so we only include this
as a buildInput for linux devShells

* Fix CHANGELOG entry for CDDL
* Add `Cardano.Ledger.Core.modifyTxAuxData` in order to be able to apply
  some function on the `txAuxData` field even when it is set to
  `SNothing`.

cardano-testnet: declare supported cli/node versions

Unify Dijkstra-era placeholder messages under TODO Dijkstra

Instead of a placeholder for PerasCert we introduce a ShortByteString.
This is needed so we can apply and test actual code for working with
certificates.

This is a temporary step, because the ultimate goal is to keep real
PerasCert in ledger repository. But in the meantime it's much easier
to keep all relevant code in the consensus repository and move everything
to the ledger once the types stabilize.

Deserialisation of the block was changed now we always expect 5 components
in the BlockBody group and return empty cert only if the last group contain
VNil

Two intentional changes for end-to-end testing of the new
'Open / update dead-link tracking issue' workflow step:

  A. Remove typed-protocols from IOG_DOC_BASES so the script reports
     it as Actionable Unmapped CHaP and exits 1 deterministically.

  B. Drop the 'github.ref == refs/heads/master' clause from the new
     step's if-gate so the step fires on workflow_dispatch from this
     test branch.

This branch is for validation only and should be deleted after
testing — do NOT merge.

* Fix CHANGELOG entry for CDDL
* Add `Cardano.Ledger.Core.modifyTxAuxData` in order to be able to apply
  some function on the `txAuxData` field even when it is set to
  `SNothing`.

Bumps [github.com/aws/smithy-go](https://github.com/aws/smithy-go) from 1.25.0 to 1.25.1.
- [Changelog](https://github.com/aws/smithy-go/blob/main/CHANGELOG.md)
- [Commits](https://github.com/aws/smithy-go/compare/v1.25.0...v1.25.1)

---
updated-dependencies:
- dependency-name: github.com/aws/smithy-go
  dependency-version: 1.25.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [github.com/blockfrost/blockfrost-go](https://github.com/blockfrost/blockfrost-go) from 0.3.0 to 0.4.0.
- [Commits](https://github.com/blockfrost/blockfrost-go/compare/v0.3.0...v0.4.0)

---
updated-dependencies:
- dependency-name: github.com/blockfrost/blockfrost-go
  dependency-version: 0.4.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Signed-off-by: Chris Gianelloni <[email protected]>

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

Bumps [webiny/action-conventional-commits](https://github.com/webiny/action-conventional-commits) from 1.3.1 to 1.4.2.
- [Commits](https://github.com/webiny/action-conventional-commits/compare/v1.3.1...v1.4.2)

---
updated-dependencies:
- dependency-name: webiny/action-conventional-commits
  dependency-version: 1.4.2
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [github.com/blinklabs-io/gouroboros](https://github.com/blinklabs-io/gouroboros) from 0.153.1 to 0.166.0.
- [Release notes](https://github.com/blinklabs-io/gouroboros/releases)
- [Changelog](https://github.com/blinklabs-io/gouroboros/blob/main/RELEASE_NOTES.md)
- [Commits](https://github.com/blinklabs-io/gouroboros/compare/v0.153.1...v0.166.0)

---
updated-dependencies:
- dependency-name: github.com/blinklabs-io/gouroboros
  dependency-version: 0.166.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Signed-off-by: Chris Guiney <[email protected]>

Signed-off-by: Chris Gianelloni <[email protected]>

Closes the cross-language fidelity gap that hid the original
divergence between the Aiken validator and the Haskell library.

TxBuilder.Sweep:
- New module `Cardano.MPFS.Cage.TxBuilder.Sweep` exposing
  `sweepUtxoImpl`. Standalone sweep tx: spends one
  non-legitimate UTxO at the cage's address, references the
  state UTxO so the validator can read the owner's
  verification-key hash, and is signed by the state owner.
  Same shape as `Retract` (also redeemer-pointed to a state
  ref). Bundling sweep with `Modify` is supported by the
  on-chain validator but produced by a higher-level
  transaction builder (out of scope here).

Nix exposure:
- `cage-tests-e2e` exposed via `haskell/nix/checks.nix` and
  `haskell/nix/apps.nix`. Runnable as
  `nix run .#cage-tests-e2e`.

CI:
- New `e2e` job in `.github/workflows/ci.yml`: needs
  `build` (which produces `plutus.json`), then runs
  `nix run .#cage-tests-e2e` with
  `MPFS_BLUEPRINT=$GITHUB_WORKSPACE/result`. The E2E test
  spins a devnet `cardano-node` subprocess, applies the seed
  parameter to the blueprint at runtime, and submits txs
  against the live validator — verifying that the Haskell
  encoding matches what the Aiken validator decodes.

This is the structural fix for Constitution Principle I
(Cross-Language Encoding Fidelity). Before this commit, CI
ran neither E2E nor any cross-language round-trip check, so
divergences between the Aiken validator and the Haskell
library went undetected. With this job, every PR exercises
the full mint/request/update/retract flow against the
freshly-built blueprint.

Refs #47.