Cardano Updates

Remove `NoThunks` instances for predicate failures and `ContextError` types

`NoThunks` instances are used for memory leak detection during development,
but predicate failures should never be retained in the ledger state - they
are only used for validation results. Removing these instances reduces
code maintenance burden and instance derivation overhead.

This change removes `NoThunks` instances from:

- All predicate failure types across Shelley, Allegra, Alonzo, Babbage,
  Conway, and Dijkstra eras
- All predicate failures in cardano-protocol-tpraos
- All `ContextError` types (`AlonzoContextError`, `BabbageContextError`,
  `ConwayContextError`, `DijkstraContextError`)
- The `NoThunks (ContextError era)` constraint from the `EraPlutusContext` class
- The `NoThunks` deriving instance for `CollectError`

Add nixfmt in our Github CI checks

`NoThunks` instances are used for memory leak detection during development,
but predicate failures should never be retained in the ledger state - they
are only used for validation results. Removing these instances reduces
code maintenance burden and instance derivation overhead.

This change removes `NoThunks` instances from:

- All predicate failure types across Shelley, Allegra, Alonzo, Babbage,
  Conway, and Dijkstra eras
- All predicate failures in cardano-protocol-tpraos
- All `ContextError` types (`AlonzoContextError`, `BabbageContextError`,
  `ConwayContextError`, `DijkstraContextError`)
- The `NoThunks (ContextError era)` constraint from the `EraPlutusContext` class
- The `NoThunks` deriving instance for `CollectError`

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

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

Forecast API

Replace these partials with more type-safe (Shelley)EraForecast, clearly
separating TPraos forecasts from Praos ones, and also distinguising
current and future forecasts in their respective types.

Also change PredicateFailure TICKN to be Void, and remove empty datatype
TicknPredicateFailure.

Update ConwayTICKF to have Void as its PredicateFailure. This makes the
implementation clearer while also allowing futureForecast to be pure.

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