Cardano Updates

Signed-off-by: Yurii Shynbuiev <[email protected]>

Signed-off-by: Yurii Shynbuiev <[email protected]>

Add TextCostingByteLength cases to test generators (smallConstant, genConstant),
update golden signature tests for per-semvar dispatch, and accept new conformance
budget values.

Revert ExMemoryUsage Text to character count (pre-PV11 metric) and introduce
TextCostingByteLength newtype for byte-based costing in PV11+ (semvar D/E).
AppendString, EqualsString, EncodeUtf8, DecodeUtf8 dispatch on semvar to
select the appropriate costing metric. Generators corrected to remove stale
text-1.x UTF-16 multiplier. Cost model parameters re-benchmarked accordingly.

Signed-off-by: Yurii Shynbuiev <[email protected]>

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

Enable pymdownx.superfences mermaid support in mkdocs.yml.
Replace the ASCII pipeline diagram with a mermaid flowchart,
add an iteration loop diagram, a module dependency graph,
and a high-level data flow diagram on the landing page.

EB-fetched transactions now use the same acceptTx path as gossip, modeling
the real Leios dynamic where EB-fetched honest txs create mempool backpressure
that defends against adversary front-running.

Signed-off-by: Yurii Shynbuiev <[email protected]>

Enable pymdownx.superfences mermaid support in mkdocs.yml.
Replace the ASCII pipeline diagram with a mermaid flowchart,
add an iteration loop diagram, a module dependency graph,
and a high-level data flow diagram on the landing page.