Cardano Updates

- Different layout
- Tabs
- Colours
- Summary information of events
- Detail of events

We weren't setting this field to zero, which was resulting in
`BabbageOutputTooSmallUTxO`, when this should not be a problem on L2
with the right protocol parameters.

[EC Api] - Andamio is proud to be invited as part of the delegation representing Cardano at The Linux Foundation Open Source Summit, a key event in the global tech industry.

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

[EC Api] - Weekly development report as of 2026-05-15

Replace the `dataSize :: bytes -> Word` field of `ProtocolSizeLimits`
with a `BearerBytes` class:

    class BearerBytes bytes where
        bearerBytesSize :: bytes -> Word

Default instances cover `BS.ByteString`, `BL.ByteString`, `[Char]` and
`AnyMessage msg` (for tests).  Driver/Limits gains a `BearerBytes bytes`
constraint on the public entry points (`runPeerWithLimits` and friends).
The seven `byteLimits*` codec helpers no longer take a
`(bytes -> Word)` argument — call sites drop the `(fromIntegral .
LBS.length)` boilerplate.  Two test predicates that previously used
`dataSize` now call `bearerBytesSize` directly.

Co-Authored-By: Claude Opus 4.7 <[email protected]>

Mirrors the existing Maybe PerasCert pattern: a StrictMaybe LeiosCert
field on DijkstraBlockBodyRaw, a placeholder LeiosCert newtype
(ByteArray with derived EncCBOR/DecCBOR + NoThunks + NFData), a
lensMemoRawType-based leiosCertBlockBodyL accessor, the pattern
synonym extended with a third StrictMaybe LeiosCert argument, and the
CBOR codecs lengthened by one optional element each (EncCBOR raw list
3→4, DecCBOR record (const 3)→(const 4), EncCBORGroup inner list 2→3).
Test-side: ToExpr LeiosCert, Arbitrary LeiosCert, and the constraints
on the DijkstraBlockBody instances updated.

Only the Dijkstra era is Leios-enabled — earlier eras are untouched.
The original leios-prototype branch explored a richer shape on Conway
(Body with BodyInline / BodyCertificate plus EB-announcement and
certification flags on the Ledger Block) and then walked the flags
back in its final commit; this commit lands the simpler end state
directly on Dijkstra.

Refs: snapshot-merge first-parent ancestry preserves the originals;
the substantive ones were 0f9818960 (introduce Body type), 0c0368ea7
(remove EB-announcement / certification flags), 53517f2a7
(blockMayAnnouncedEb / blockCertifiesEb on Block).

Co-Authored-By: Claude Opus 4.7 <[email protected]>