Cardano Updates

Co-authored-by: Sebastian Nagel <[email protected]>

Add four-phase parallel blockfetch improvements:

Phase 1 - Per-peer blockfetch latency EWMA: Track first-block response
latency per connection using exponential moving average (alpha=0.2).
New methods: RecordBlockfetchLatency, BlockfetchLatency on chainsync state.

Phase 2 - Latency tiebreaker in chain selection: When two peers have
equal observed tips, prefer the peer with lower blockfetch latency
before falling back to connection ID string comparison.

Phase 3 - Shadow blockfetch dispatch: For small near-tip batches
(<=4 headers), dispatch the same RequestRange to a second peer that
has already seen the block header. Accept blocks from whichever peer
responds first with hash-based dedup to prevent double-apply.

Phase 4 - Node wiring: Connect PeersWithBlock, RecordBlockfetchLatency,
and BlockfetchLatency callbacks through LedgerStateConfig and
ChainSelectorConfig.

Signed-off-by: wcatz <[email protected]>

docs: add documentation for Cardano Blocks and Transactions in website

Signed-off-by: Seydi Charyyev <[email protected]>

- Replace `keyType: string` with `CryptoKeyType` in four worker handlers so new key types in the union type are caught by the compiler.
- Remove the redundant `const Mnemonic` shadow inside handleGenerateKeyPair (the outer binding is already in scope).
- Consolidate nine per-method JSDoc comments into a single class-level doc. The method signatures already describe their inputs and outputs, and the isSupported() contract is now stated once at the class level.
- Enforce the isSupported() contract in getWorker(): throw an explicit error when Web Workers are unavailable instead of letting `new Worker(...)` fail with a cryptic runtime error in Node.js or SSR.

Signed-off-by: Seydi Charyyev <[email protected]>

Signed-off-by: Seydi Charyyev <[email protected]>

Signed-off-by: Seydi Charyyev <[email protected]>

Generate valid invalid_transactions indices that are within the tx
count range. Uses AntiGen to produce out-of-range indices when zapping
for anti-CBOR tests.

Derive DecCBOR (Annotator (DijkstraBlockBody era)) via
Mem (DijkstraBlockBodyRaw era) to preserve original bytes in
MemoBytes, matching the pattern used by AlonzoTxWits and other
memoized types. This fixes the hash mismatch between the Annotator
and non-Annotator decoders.

- Fix PerasCert to encode/decode as bytes (matching CDDL nil / VBytes)
- Use encodeNullStrictMaybe/decodeNullStrictMaybe for optional peras_certificate
- Handle both definite and indefinite length lists in BlockBody decoder
- Add index range validation in BlockBody decoder (matching Alonzo)
- Add DecCBOR instances for DijkstraBlockBodyRaw and DijkstraBlockBody in testlib
- Add NFData and EncCBOR deriving for DijkstraBlockBody newtype
- Export DijkstraBlockBodyRaw and MkDijkstraBlockBody from Internal module
- xdescribe block_body CDDL round-trip tests (invalid_transactions indices)

Empty bootstrap witnesses list is accepted by the decoder but
rejected by CDDL validation (nonempty_set).

* wip: adjust borders - margins - paddings - text alignment - app version

* fix: issue with wrong class and clean up