Cardano Updates

tests for reward calculation

We've had a couple of cases recently where we found bugs which resulted
from the ledger state getting into a position where it shouldn't be.
This commit starts the process of adding in assertions into the ledger
code to validate such conditions.

It also adds the ability to `reApply` as a bonus!

work on the type Fun rather than on its components (no more 'fun' or 'funof' yea)
Had to make some changes to keep the tests working. Renamed the data Dat to Query.

Add TICKN transition.

We also introduce functions in the API to manage the chain transition,
meaning that the consumer should not need to call `applySTS` themselves.

We also introduce functions in the API to manage the chain transition,
meaning that the consumer should not need to call `applySTS` themselves.

We also introduce functions in the API to manage the chain transition,
meaning that the consumer should not need to call `applySTS` themselves.

We also introduce functions in the API to manage the chain transition,
meaning that the consumer should not need to call `applySTS` themselves.

We also introduce functions in the API to manage the chain transition,
meaning that the consumer should not need to call `applySTS` themselves.

In order to produce a block, we need to create a VRF output using the
correct epoch nonce. This requires us to be able to calculate the epoch
nonce without providing a header. As such, we divide UPDN into two
rules, TICKN and UPDN. The former only does header independent updates,
whereas the latter is used to incorporate header data into the evolving
and candidate nonces.

The TICKN rule is then called directly from the CHAIN rule. In the real
implementation, TICKN will be exposed directly to the consensus layer.

Made the instance (Iter Dat), and got rid of the types And AndP Project Guard etc. These
are now superceded by the AndD, andPD, ProjectD, GuardD constructors of Dat. Renamed the
Basic class to Base. Then reused the Basic class name, to hold the old methods addpair, removekey,
addkv, and emptyc which used to appear in Iter. The Basic class means we no longer need the
repOf method in Iter, and the constructors of BaseRep for compound iterators AndR, ProjectR,
GuardR are also gone. Defined the fuction run such that (eval e) == run(compile e). And in the cases
of eval we use: 'eval x = run(compile x)' for all x which do not have domain and type specific
definitions. Cleaned things up considerably, and made a new file IterTest.hs which has about 50 tests.

Fix POOLREAP in the case of multiple pools sharing a reward account

the calculation was previously using the stake pool's stake
in place of the member's stake