Cardano Updates

Signed-off-by: Eric Torreborre <[email protected]>

On GHC 9.6, UserTyVar/KindedTyVar already exhaust HsTyVarBndr, so the
catch-all tripped -Werror=overlapping-patterns; move it into the >=9.10
branch (where it covers HsBndrWildCard). That leaves PlinthPlugin.Hsc unused
on 9.6, so CPP-guard its import too.

Verified locally with plutus's -Wall -Werror set on both GHC 9.6.7 and 9.12.2.

Co-Authored-By: Claude Opus 4.8 <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

# Description

@jasagredo identified that ChainDB statemachine tests, updated to
support full Peras VoteDB/CertDB in [Peras
3.75](https://github.com/IntersectMBO/ouroboros-consensus/pull/1966/changes/fd19c52bc140868d5c629d6473db78dab5a858ff),
were sometimes running into the normally-impossible
`MultipleWinnersInRound` exception.

This was a very intricate bug to track down, but ultimately we
identified that the model `ChainDB` would not run Peras-related garbage
collection, while the SUT would; and that was affecting how a vote
reusing an old-but-normally-GCed ID, but with a different boosted block,
would be rejected/accepted by the model/SUT, eventually leading to
`MultipleWinnersInRound` exception in the SUT. So this PR updates the
model to run the same GC behavior as the SUT.

In the process, we also identified that the SUT would conditionnally
discard some certs who are considered too old (for chain selection
purpose), in a non-visible/non-explicit way, while the model would not.
So we made this ignoring behavior explicit, and updated the model to
have the same behavior as the SUT, in order to prevent future annoying
debugging in statemachine tests, even though it seemed not to create
visible issues for now.

Finally, to prevent running into other `MultipleWinnersInRound`
exceptions in the future, the generator for `AddPerasVote` commands in
ChainDB's statemachine tests has been improved and documented, and now
limits the total stake distributed in a given round to never reach 2 x
quorum.

The only breaking changes are ChainDB's API methods `addPerasVoteSync`,
`addPerasVoteWithAsyncCertHandling`, `addPerasCertSync`,
`addPerasCertAsync` who get updated return types.

Remove caseByronToAlonzoOrBabbageEraOnwards and simplify value ops

Signed-off-by: cryptodj413 <[email protected]>

Since `Cardano.Ledger.Shelley.API` will be removed, we would like to
keep re-exporting the deprecated names which will force us to change the
imports at other places.

- `ConwayBBODY` -> `BBODY`
- `ConwayCERT` -> `CERT`
- `ConwayCERTS` -> `CERTS`
- `ConwayDELEG` -> `DELEG`
- `ConwayENACT` -> `ENACT`
- `ConwayEPOCH` -> `EPOCH`
- `ConwayGOV` -> `GOV`
- `ConwayGOVCERT` -> `GOVCERT`
- `ConwayHARDFORK` -> `HARDFORK`
- `ConwayLEDGER` -> `LEDGER`
- `ConwayMEMPOOL` -> `MEMPOOL`
- `ConwayNEWEPOCH` -> `NEWEPOCH`
- `ConwayRATIFY` -> `RATIFY`
- `ConwayTICKF` -> `TICKF`
- `ConwayUTXO` -> `UTXO`
- `ConwayUTXOS` -> `UTXOS`
- `ConwayUTXOW` -> `UTXOW`