Cardano Updates

Using mixture model for sequential application of applyTx and reapplyTx

Expand Antithesis assertions and update Dockerfiles

The test-local job rebuilds all images from source and runs the full
docker-compose stack, duplicating the compilation time from the build
step. Remove it to speed up CI — Antithesis itself validates the stack
via Moog dispatch. The test-local.sh script remains for manual use.

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

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

Add reachable assertions to verify Antithesis test coverage reaches
important analysis states: ForgedBlock parsing, block reception,
multiple pools producing, and Leios activity.

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

Track per-node chain tips and assert that the maximum slot divergence
between any two nodes stays below k (configurable via MAX_FORK_DEPTH,
default 10). Uses always_or_unreachable since it requires at least 2
nodes reporting tips.

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

Parse Mempool namespace events for transaction additions and assert
that transactions are entering the mempool. This verifies the
tx-generator is working and nodes are processing transactions.

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

Assert that no single pool produces more than 60% of all blocks. With
3 equal-stake pools, each should produce ~33%. Only asserted when total
blocks > 10 to avoid noisy early results.

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

The orphan blocks assertion now uses always_or_unreachable instead of
always, which is semantically correct — if no blocks are received, the
assertion passes vacuously rather than requiring a call. The assertion
is also guarded to only fire when blocks have been received.

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