Cardano Updates

Signed-off-by: Francisco Javier Ribo Labrador <[email protected]>

Signed-off-by: Francisco Javier Ribo Labrador <[email protected]>

JSON goldens should only need to test encoding, and moreover we have to
ensure that all ledger state query result types are able to be encoded:
and so the test harnesses collapse back to a single one.

Some ToJSON instances were found to be orphans in downstream packages
because ledger didn't have those instances.

* DefaultVote: from cardano-cli/src/Cardano/CLI/Orphan.hs
* StakeSnapshot, StakeSnapshots: from
cardano-api/src/Cardano/Api/Internal/Orphans/Serialisation.hs
* QueryPoolStateResult: written fresh — no prior ToJSON found across
cardano-api, cardano-cli, ouroboros-consensus, or cardano-db-sync,
including via intermediate wrapper types. Implemented here via
KeyValuePairs to match other query result types.

We run the tests to add JSON goldens for queryPoolState,
queryStakePoolDefaultVote, and queryStakeSnapshots, which the new
instances unblock.

Note: this bundles three logical changes (instance absorption, harness
collapse, 3 new goldens).

Also export exampleVrfVerKeyHash from Shelley.Examples.

- Remove the Test.Gen.Cardano.Api.Internal.Shared module by moving its
  primitives back into Test.Gen.Cardano.Api.Typed where they originally
  lived. Move genTxUpdateProposal and genUpdateProposal back to Typed
  too, restoring the master-style one-way dependency
  Typed -> ProtocolParameters and avoiding the cycle that previously
  required a third module.
- Switch genAlonzoOnwardsPParams to use the constructor-applied form
  (AlonzoOnwardsPParams SNothing <$> ...) instead of <$> pure SNothing.
- Drop now-redundant pragmas in the moved code and the redundant
  Test.Gen.Cardano.Api.ProtocolParameters import in Test.Cardano.Api.CBOR.

eraLedgerStateQueryGoldenSpec requires full {To,From}JSON+{Enc,Dec}CBOR.
Some query result types do not have all these instances: some lack only
FromJSON, some both {To,From}JSON.

Re-export toLedgerUpdate, toLedgerProposedPPUpdates,
fromLedgerProposedPPUpdates and fromLedgerPParamsUpdate from
Cardano.Api.ProtocolParameters to avoid breaking downstream users that
were relying on the previous master surface.

Move toLedgerUpdate and toLedgerProposedPPUpdates definitions back into
Cardano.Api.ProtocolParameters, where they originally lived, and clean
up the argument order of toLedgerUpdate to use plain prefix application.