Merge #2984

2984: Updating cardano-ledger r=JaredCorduan a=JaredCorduan

* The ledger state now stores an PulsingRewUpdate instead of a
  RewardUpdate. The PulsingRewUpdate allows us to compute the staking
  rewards incrementally instead of all at once. This involves a new
  serialization format for the reward updates.
* Annotated decoders are now used for PParams and PParamsDelta (the
  data structures now store their own serialization). Additionally, the
  LedgerState also now uses an annotated decoder. The serialization in
  consensus has been changed to use the cbor-in-cbor encoding for these
  types (including in the queries).
* A bug was fixed in the reward calculation which was introduced in
  commit 31083fc5cecbe17f3628393072094b130058edd9.
* The MIR certificates now have additional functionality, but such
  functionality is prohibited until protocol major version 5. Binary
  compatibility is preserved for the original functionality. The new
  functionality is the ability to transfer lovelace between the reserves
  and the treasury.
* The ledger repo now uses ghc-8.10.4 and cabal-3.4.0.0.

Replaces #2971 (the branch named `jc/update-ledger-to-ba74779256` was overly confident 😄 )
Note that unlike #2971, binary compatibility of the protocol parameters is preserved (those golden tests are not touched in this PR).

Co-authored-by: Jared Corduan <[email protected]>

Author: iohk-bors[bot]