Cardano Updates

* Added plutus-core-1.65.0.0

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

* Added plutus-ledger-api-1.65.0.0

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

* Added plutus-metatheory-1.65.0.0

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

* Added plutus-tx-1.65.0.0

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

* Added plutus-tx-plugin-1.65.0.0

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

---------

Co-authored-by: Yura Lazarev <[email protected]>

* feat: update the mempool on new tip

Signed-off-by: Eric Torreborre <[email protected]>

* doc: add a todo for chained transactions submitted to the mempool

Signed-off-by: Eric Torreborre <[email protected]>

---------

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

From https://github.com/IntersectMBO/plutus at b2db512618df08bd696e8d9c4229effcede01169

Add `inclusiveLowerBound` and `inclusiveUpperBound` to the export lists
of `PlutusLedgerApi.V1.Interval` and `PlutusLedgerApi.V1.Data.Interval`,
together with the re-exports from `PlutusLedgerApi.V1`/`V2`/`V3` and
the `PlutusLedgerApi.Data.V1`/`V2`/`V3` counterparts.

These helpers normalise `LowerBound`/`UpperBound` values into an
equivalent inclusive `Extended a`. They are already used internally by
the `Eq`/`Ord` instances and `isEmpty`; making them public lets
validator authors reuse the same closure handling instead of
re-implementing it locally.

Closes #7737.

Surface per-block Leios involvement in the net-ui chain-tree view:
a gold ★ on the top-left when the block's header has certified_eb
(carries an EB vote certificate for the previous RB), a gold + on
the top-right when it has announced_eb (introduces a new endorser
block), and a tx-count line under the hash showing the Praos body
count plus the announced EB's manifest size when applicable.

ChainNode gains tx_count, announced_eb_hash, and certified_eb fields;
ChainTreeEntry exposes the bool projection plus eb_tx_count resolved
at snapshot time via an injected closure (so shared-consensus stays
format-agnostic and the Leios manifest lookup happens in net-node's
Consensus facade against LeiosState::eb_tx_hashes).

Adds BlockBody::praos_tx_count in net-core to walk the Cardano CDDL
block body and read the tx_bodies array length without decoding the
bodies. The wrapper in net-node computes this once at receive /
self-produce time and threads it through to chain_tree.insert.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

The fake block builder was encoding tx_bodies as `{idx => bytes}` and
tx_witnesses as an empty map, but the Cardano CDDL specifies both as
arrays (`[* transaction_body]` / `[* transaction_witness_set]`). The
map shape probably came from confusing tx_bodies with auxiliary_data_set,
which is the only field that's actually keyed by tx_index. The
mismatch wasn't externally observable until something tried to parse
tx_bodies as an array and silently got `None`.

Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>