Cardano Updates

This updates to the latest haskell.nix and improves the way the source for trace-parser and ouroboros-leios-sim are updated for cabalProject.

GNU date uses -d for epoch conversion while BSD/macOS date uses -r.
Fall back to BSD syntax when GNU syntax is unavailable.

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

- Add missing cardano-node-bp image build step (required by devnet)
- Add per-image GHA cache scoping to prevent cache collisions
- Run test-local on push to main, not just PRs
- Add 120-minute timeout to prevent runaway test jobs

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

More portable shebang that works across Linux distributions
including NixOS where bash may not be at /bin/bash.

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

The analysis only recognized block creation via the immdb-server
MsgBlock format. Devnet pool nodes forge blocks through cardano-node's
Forge.Loop, which emits ForgedBlock events. Without this handler,
praos_blocks_created was always 0 for the devnet stack, preventing
latency assertions from firing.

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

The setup_complete function lives in antithesis.lifecycle, not the
top-level antithesis module. The wrong import silently fell through
to the except branch, setting ANTITHESIS_AVAILABLE=False and
disabling all assertions.

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

Replace the fragile `find dist-newstyle -name ... | head -1` pattern
with `cabal install --install-method=copy --installdir=...` across all
three Dockerfiles. This also fixes the wrong dist-newstyle cleanup path
in Dockerfile.immdb-server (/code/ouroboros-consensus/ vs /).

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

Certification is now decided at next block production, not at EB
creation. When certified, the RB carries only the certificate (no txs)
and the EB's referenced txs are removed from all mempools. When not
certified, the RB fills normally and EB txs remain available for future
blocks/EBs.

Also extract consumeTx helper for tx+counterpart mempool removal, and
update README with the corrected EB flow documentation.

Remove ebAnnouncementRate parameter. EBs are now announced whenever the
block producer has mempool overflow after filling a block — honest nodes
always announce when they can. Empty EBs are never produced. This makes
EB frequency an emergent property of tx load vs block capacity.

Also set default EB certification rate to 50%.