Cardano Updates

So that it's more clear that we want an error when it's less than zero.

Co-authored-by: Sotatek-DukeVu <[email protected]>
Co-authored-by: J Caso <[email protected]>

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

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

This improves cache availability, and thus CI build times.

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

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

* fix(ui): display issuer name is unknown if cred is unknown cred card

* fix(ui): add unknown text for revoke and archived card when connection is missing

---------

Co-authored-by: Sotatek-DukeVu <[email protected]>
Co-authored-by: Jaime Caso <[email protected]>

Add interactive visualization pages for EncodeUtf8, DecodeUtf8,
AppendString, and EqualsString with benchmark data plotting and model
fit overlays. Update portal index with string builtin links.

All Text benchmarks now use 4-byte-only characters (worst case for
costing). Since ceil(bytes/4) = chars for 4-byte characters, the same
fitted parameters work for both char-count (A/B/C) and byte-length (D/E)
sizing. This eliminates the separate 4Byte benchmark functions, reducing
the suite from 7 to 4 benchmarks.

Add named-with-wrapper benchmark helpers in Common.hs and a 4-byte text
generator in Generators.hs.

Change ExMemoryUsage for Text from character count to byte-length-based
measurement (ceil(bytes/8) words), consistent with ByteString. Preserve
memoryUsage 0 for empty Text as a special case. Update encodeUtf8 and
decodeUtf8 memory model slopes to reflect byte-based sizing. Add
ExMemoryUsage property tests for Text values.

Gate string builtin costing by semantics variant via TextCostingByteLength:
A/B/C use character count, D/E use ceil(byte-length/4) half-words. The
byte-length metric is O(1) to compute (vs O(n) char traversal) and more
accurately reflects actual work done by string operations.

Add D/E cost model files (builtinCostModelD.json, builtinCostModelE.json).
Update test golden files for the new variant D type signatures and
conformance budget expectations.

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