Cardano Updates

Remove duplicate uppercase mapping for TANG token

Fix map zap annotation indices being too large

The annotation index should track generated terms, not rules. Increment
the index when a map entry is actually produced, and keep it unchanged
when an entry is skipped (e.g. optional entry not generated, upper bound
reached, or zero-or-more done).

Fix InvalidTag trace showing bad tag as expected value

Signed-off-by: Hyperledger Bot <[email protected]>
Co-authored-by: Hyperledger Bot <[email protected]>

refactor: remove minimal `-1` offset from blocks transactions beacon computation

feat(client-cli): add feedbacks for blocks and transactions certification commands

This commit brings back the fix from https://github.com/IntersectMBO/ouroboros-consensus/pull/1814, which synchronises the process of taking a ledger state snapshot and copying of blocks into the immutable DB.

It is no longer needed by the predictable snapshotting logic.

- tryTakeSnapshot: now accepts a `Time` argument. The argument specifies the time at which the snapshot should be taken
- LedgerDBEnv: rename ldbLastSnapshotWrite to ldbLastSnapshotRequestedAt. Track the request time rather than the time a snapshot actually finished.
- implTryTakeSnapshot: add a `delay` argument. How long should we block before actually taking the snapshot after determining the slots to snapshot
- add `cdbSnapshotDelayRNG` and use this to determine how long we should wait before taking a snapshot
- add orphan `NoThunks` `StdGen` instance
- add `cdbsSnapshotDelayRNG to `ChainDbSpecificArgs`
- add `onDiskSnapshotDelayRange` to `SnapshotPolicy` to allow configuration of the delay between a snapshot being requested and being taken
- add LedgerDB snapshot delay trace events. Use these events in the test suite to ensure we don't add blocks while snapshots are occurring (and therefore make an accurate number of snapshots).
- add a test ensuring that blocks can be added while a snapshot is enqueued
- ledgerDbMaintenaceThread -> ledgerDbMaintenanceThread

Signed-off-by: Chris Gianelloni <[email protected]>