Cardano Updates

Verify that the decoder rejects big integers (CBOR tags 2/3) outside
the valid CBOR int range of -2^64 .. 2^64-1, and accepts values at
the boundaries. Also fix an off-by-one in the comment documenting
the supported range.

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