Cardano Updates

Migrate the project from JDK 24 to JDK 25 LTS and update all stable
dependencies across the multi-module build.

JDK 25 migration required adapting the StructuredTaskScope preview API
(ShutdownOnFailure replaced by Joiner-based open() API) in both
LedgerBlockServiceImpl and AddressHistoryServiceHibernate.

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>

The hardcoded surplus range (240-246) assumed F1≈236 for all inputs,
but F1 varies with generated address/TxIn CBOR encoding sizes.
Compute F1 per-test via calcMinFeeTx and set surplus to [F1+4, F1+10].

Includes blinklabs-io/gouroboros#1663 which fixes ScriptDataHash
computation for transactions with witness datums but no redeemers.
This caused "script data hash mismatch" validation failures on valid
on-chain blocks, stalling the pipeline.

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

* Add ./script/nix-format.sh for non-Nix users.
* Add nixfmt in our Nix pre-commit hook.
* Add Github CI check

  After inputsToOpenHead was simplified to a single OnInitTx, inputs2 = drop 3
  inputs became empty. The 2nd run only processed a Tick from primeWithTime,
  advancing currentSlot to 1 while the non-restarted node ended at 0 (reset
  by HeadOpened{chainState=0}), causing the consistency check to fail.

Signed-off-by: Sasha Bogicevic <[email protected]>

Signed-off-by: Sasha Bogicevic <[email protected]>

When compiling caseInteger in non-BuiltinCasing mode (SumsOfProducts),
the fallback used PlutusTx.List.!! which built a linked list of branches
at runtime and indexed into it with a Y-combinator. This caused a 3-5x
execution cost regression for unsafeFromBuiltinData on multi-constructor
types (reported by the Hydra team, see #7691).

Replace the fallback with mkEqualsIntegerChain, which generates a flat
chain of equalsInteger/ifThenElse comparisons in PIR. This produces UPLC
equivalent to the pre-caseInteger code path with no runtime allocation.

See Note [caseInteger non-BuiltinCasing fallback] in Expr.hs.

chore(blockfrost-tests): temporarily ignore more tests for a green `main`

Temporarily set `if False` in unsafeFromDataClause to bypass caseInteger
and generate golden files from the old equalsInteger/ifThenElse code path.
These serve as the equivalence target for the Expr.hs fix.

Co-Authored-By: Claude Opus 4.6 <[email protected]>

Adds a minimal test that compiles unsafeFromBuiltinData on a 3-constructor
type in the default SumsOfProducts mode (no BuiltinCasing pragma).
This captures the caseInteger fallback regression for comparison.