Cardano Updates

Currently using ghc-9.14.1.

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

* Rename `spsAccountAddress` -> `spsAccountId` and change its type to
  `AccountId` instead of `Credential Staking`
* Change type of `spssAccountId` from `AccountId` to `Credential Staking`

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

to match the type in the PParams data type

* Rename `spsAccountAddress` -> `spsAccountId` and change its type to
  `AccountId` instead of `Credential Staking`
* Change type of `spssAccountId` from `AccountId` to `Credential Staking`

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

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

A block is made up of a header and a body. Ledger needs to process
blocks but is nescient of the header type. One such header type is
defined in the tpraos package and another is defined in consensus. Both
these packages depend on core and the eras and so ledger cannot import
from them.

BHeaderView was an inferior[1] arrangement to convert a Block h era into
a type with known fields. EraBlockHeader now defines a set of lenses for
this, instead.

Consensus[2] calls ledger's applyBlock and the BBODY rules, which need
access to the values from the header, now with the help of lenses.

So we wrap the unknown header type h in a GADT to pass to BBODY rules,
called BbodySignal.

For tests, we replace BHeaderView with TestBlockHeader and
makeHeaderView with mkTestBlockHeaderNoNonce.

Ref: https://github.com/IntersectMBO/cardano-ledger/issues/5541

[1]: https://github.com/IntersectMBO/cardano-ledger/pull/5467#discussion_r2727225059
[2]: https://github.com/IntersectMBO/ouroboros-consensus/blob/1940605fbbfb50032ab78e2268b85065c703cd2a/ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Protocol/Praos.hs#L196-L202