Cardano Updates

Forecast t BabbageEra = BabbageForecast t BabbageEra

This is the first set of changes to deprecate GetLedgerView et. al. from
cardano-ledger-tpraos.[^1]

This makes everything more type-safe, clearly separating TPraos forecasts
from those for Praos. It also distinguishes current from future forecasts
at the type-level.

[^1]: https://github.com/IntersectMBO/cardano-ledger/issues/5617

Enable ghc 9.14 to be used for tests in CI and locally

Fix serialiseToCBOR to extract raw script bytes from PlutusRunnable
instead of using L.serialize' which adds CBOR framing that
deserialiseFromCBOR does not expect.

Add CBOR and TextEnvelope roundtrip tests for PlutusScriptInEra and
AnyPlutusScript. Add haddocks for the text envelope functions.

Use nonNativeLanguages and withSLanguage to derive textEnvTypes
so new Plutus versions are picked up automatically and GHC
enforces handling in constraint witness functions.

since it should be moved to top level UTXOW

Fix blockfrost-tests

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

Add more decision points

The hardcoded surplus range assumed a fixed F1 for all inputs, but
the fee varies with generated address structure (credential types,
staking references). Compute F1 per-test via calcMinFeeTx and set
surplus to [F1+4, F1+10].

Also deduplicates genTinySurplusTx — it now lives only in Fee.hs —
and adds a deterministic fee gap invariant test.