Cardano Updates

Add two commands to the ChainDB state-machine test:

- SetBlocksToIgnore sets the ignore source and triggers chain selection,
  like UpdateLoE does for the LoE fragment. It may only name blocks off
  the current chain, matching the producer of cdbsBlocksToIgnore, which
  holds back only blocks not yet selected.
- Reconsider re-runs chain selection for a block already in the
  VolatileDB, exercising reconsiderBlockAsync.

Together they test that a block can be held out of the selection and
selected once it leaves the set.

Model:

- A new blocksToIgnore field; chain selection excludes blocked volatile
  blocks from candidate construction.
- addBlock now skips selection when an already-stored block is re-added
  (the real ChainDB ignores it), so an ignore set that changed since the
  block was added cannot leak into the result.

Add a new field on ChainDbSpecificArgs:

    cdbsBlocksToIgnore :: STM m (Set (HeaderHash blk))

Chain selection reads this inside its existing STM snapshots and never
selects a chain that includes one of these blocks. The blocks stay in
the VolatileDB and become selectable again once they leave the set. The
default ignores nothing, so behaviour is unchanged.

Internals:

- The source is stored on ChainDbEnv as cdbBlocksToIgnore, wrapped in a
  BlocksToIgnore newtype so the Generic-derived NoThunks instance on
  ChainDbEnv can pass over the STM action via WHNF; same pattern as
  HeaderListener. Unlike m actions, STM actions are not covered by the
  IOLike superclass, so the wrapper is needed.
- Two helpers, ignoreBlocked and ignoreBlockedSuc, parallel to
  ignoreInvalid and ignoreInvalidSuc, hide blocked blocks from
  lookupBlockInfo and succsOf. They compose onto the existing
  ignoreInvalid* wrappers at the four chain-selection snapshots:
  initialChainSelection, the LoE reprocess, chainSelectionForBlock, and
  constructPreferableCandidates.
- chainSelectionForBlock also gets a Set.member guard, parallel to the
  invalid-block arm, traced as StoreButDontChange. It covers the
  just-added block, which the "extends current chain" branch would
  otherwise include directly without consulting the wrappers.

No producer yet; the default source ignores nothing.

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

Signed-off-by: Akhil Repala <[email protected]>

Signed-off-by: Akhil Repala <[email protected]>

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

Signed-off-by: Akhil Repala <[email protected]>

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

Bumps [docker/setup-qemu-action](https://github.com/docker/setup-qemu-action) from 4.0.0 to 4.1.0.
- [Release notes](https://github.com/docker/setup-qemu-action/releases)
- [Commits](https://github.com/docker/setup-qemu-action/compare/ce360397dd3f832beb865e1373c09c0e9f86d70a...06116385d9baf250c9f4dcb4858b16962ea869c3)

---
updated-dependencies:
- dependency-name: docker/setup-qemu-action
  dependency-version: 4.1.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [docker/setup-qemu-action](https://github.com/docker/setup-qemu-action) from 4.0.0 to 4.1.0.
- [Release notes](https://github.com/docker/setup-qemu-action/releases)
- [Commits](https://github.com/docker/setup-qemu-action/compare/ce360397dd3f832beb865e1373c09c0e9f86d70a...06116385d9baf250c9f4dcb4858b16962ea869c3)

---
updated-dependencies:
- dependency-name: docker/setup-qemu-action
  dependency-version: 4.1.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

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

Bumps [actions/checkout](https://github.com/actions/checkout) from 6.0.2 to 6.0.3.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/de0fac2e4500dabe0009e67214ff5f5447ce83dd...df4cb1c069e1874edd31b4311f1884172cec0e10)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: 6.0.3
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

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

Signed-off-by: Akhil Repala <[email protected]>

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

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

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

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

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

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

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