Cardano Updates

This is to avoid "account" appearing twice, since `aa` stands for
`AccountAddress`.

Refactor shelley BBODY transition to export reusable validations to
future eras and update the BBODY signal.

Move isOverlaySlot calculation into incrBlocks.

Co-authored-by: Joosep Jääger <[email protected]>

since the generated "golden" values changed with the type change

`maxValSize`, `collateralPercentage`, `maxCollateralInputs`

to match the type in the PParams data type

This is done for convenience of partial application with `mapWithKey`
like functions

Make sure stake pools that are not registered or don't have any stake
are not returned by the query

This will let us in the future remove stake pools with zero stake from
the snapshot

That field is actually needed for the rewards pulser. However, the goal
is to reduce the number of tables that will be needed for LedgerHD and
this field can be removed, since it, by definition, has a domain that is
a superset of `ssActiveStake` and it is only the entries that are
also present in `ssActiveStake` that are needed, because for reward
calculation we need non-zero stake taht is delegated to a stake pool.

Therefore this filed is marked to be subsumed by the `ssActiveStake`

Introduce DijkstraEraBlockHeader to have a lens to the previous nonce,
and the DijkstraBbodySignal GADT to constrain the header existantially,
same as for BbodySignal.

Move PerasCert, PerasKey and validatePerasCert to dijkstra's BlockBody.

Remove PrevEpochNonceNotPresent because the field is implicitly present
in the signal to the BBODY rule now.

Refactor the dijkstra BBODY rule to reuse validations from shelley,
alonzo, conway, inlined, because the change in the type of Signal makes
calling earlier BBODY transitions impossible.