Wire `blocks/v0` namespace into cardano-ledger

[qnikst]

We need blocks/v0 namespace to be supported in the cardano-ledger code.

In order to achieve that we need:

• ensure that the CDDL types do not contradict with the ledger types (i.e. has all required information, do not have extra information that can be derived)
• on-chain types persist the structure as much as possible (really that should be kept as-is because hashes calculation require exactly the same binary representation)
• for each non BaseType and non on-chain type a proxy is introcuced
• the code follows the structure requirements that would be created during communication with ledger team.

[qnikst]

In this PR I'm going to introduce minimal amount of changes from the

PR IntersectMBO/cardano-ledger#5486

The plan is to:

1. introduce cardano-ledger-canonical-state: only basic structure and required instances
2. introduce tests in cardano-ledger-canonical-state
3. introduce scls (modulo concrete naming) package with reexport in the Conway era, and roundtrip tests

Submit PR.

[qnikst]

I've prepared a PR: IntersectMBO/cardano-ledger#5540
That depends on PR in CHaP: IntersectMBO/cardano-haskell-packages#1207

I will keep updated on the status.

[qnikst]

There were comments about PR that were addressed and now PR is merged.
No changes to the library were required.

Closing the task.