Cardano Updates

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.

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.

Since the query consolidation breaks downstream anyway (new types,
renamed functions, changed return types), keeping deprecated aliases
adds noise without value. Remove every deprecation across the Query
sub-modules and Shelley.API.Wallet for a completely fresh API.

Query sub-modules:
- Remove type aliases: CommitteeMemberState, CommitteeMembersState,
  QueryPoolStateResult, StakeSnapshot, StakeSnapshots
- Remove function aliases: mkQueryPoolStateResult, queryPoolParameters
- Remove queryProposedPParamsUpdates (always returned empty)
- Un-deprecate queryRewardProvenance (serves a distinct purpose)
- Remove {-# OPTIONS_GHC -Wno-deprecations #-} from Query.hs and
  Governance.hs

Shelley.API.Wallet:
- Remove 11 query functions: getUTxO, getFilteredUTxO, getUTxOSubset,
  getPools, getStakePools, poolsByTotalStakeFraction, getTotalStake,
  getNonMyopicMemberRewards, currentSnapshot, getRewardInfoPools,
  getRewardProvenance
- Clean up unused imports and language extensions

Add "Replaces @oldName@" haddock annotations to all 10 replacement
query functions to guide downstream migration. Update both CHANGELOGs
with explicit per-function replacement mappings.

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.