Cardano Updates

Simplify Transition and reuse it in shelley-test

Add mkTestAccountState and addAccountState

Reinstate `Annotator` instances to main libs

except for `Raw` types wrapped in MemoBytes: `ShelleyTxAuxDataRaw`,
`ShelleyTxBodyRaw`, `AllegraTxBodyRaw`, `AlonzoTxBodyRaw`,
`BabbageTxBodyRaw`, `ConwayTxBodyRaw`

decoder

in the same way as it was done for `RedeemersRaw` deserializer

in `translateEraThroughCBOR`

from testlib

except for `Raw` types wrapped in MemoBytes: `ShelleyTxAuxDataRaw`,
`ShelleyTxBodyRaw`, `AllegraTxBodyRaw`, `AlonzoTxBodyRaw`,
`BabbageTxBodyRaw`, `ConwayTxBodyRaw`

in `translateEraThroughCBOR`

decoder

in the same way as it was done for `RedeemersRaw` deserializer

from testlib