Cardano Updates

Required updating `haskell.nix` as well to the latest timestamp.

Bump cuddle to 1.5.0.0

Usage of `StrictMaybe` in the pattern synonym is unnecessary, since the
type itself is strict and using `StrictMaybe` instead of `Maybe` only
causes unnecessary allocations when `Maybe` is desired, which is most of
the time is the case.

Validation checks that the current protocol version is within the era's bounds

Revert decoders to a more efficient implementation

Extend `Test.Cardano.Ledger.Babbage.TxInfoSpec` with a property test for
Babbage TxInfo translation across PlutusV1/V2/V3/V4:
* correctly translate tx with babbage-era features

Had to add a constraint to cabal.project. The latest version of
the happy parser errors out when compiling hackell-src-exts.

A lower bound on microlens was introduced.

Before version 0.5 of microlens, an Internal module was being used.
Now we switch to a module that is explicitly part of the microlens
API.

Validation checks that:

* current protocol version is within the era's bounds
* previous protocol version is at most the current version
* previous protocol version + 1 is within the era's protocol version bounds

Allows to decode normal blocks as "inline txs" blocks in the
Leios-enabled world. This is useful to replay old praos blocks and be
able to still decode them in this (hackily patched) era.