Cardano Updates

Reads the salt used when exporting from the `<exportedSnap>/salt` file.

Importing a snapshot requires the same salt that was used when exporting it. We
copy the `<session>/metadata` file into the exported snapshot as
`<exportedSnap>/salt` so that we can recover it.

cardano ping implemented with ouroboros-network

# Conflicts:
#	docker/dockerfiles/node/Dockerfile

Rename true/false to sopTrue/sopFalse (the sum-of-products Bool encoding) and add
builtinTrue/builtinFalse (the builtin bool constant), so the two encodings are
named explicitly. Add an `ite` helper for the forced ifThenElse application and
use it across the CaseOfCase, EvaluateBuiltins and Simplify specs, dropping the
local `ite` in Simplify.

KnownPeers.setCurrentTime and EstablishedPeers.setCurrentTime run on
every governor loop iteration. Add a fast path to KnownPeers for the
common case where nothing is scheduled or the earliest scheduled time
is still in the future; previously it always ran the general path,
rebuilding the record and (with +asserts) checking the invariant.

In EstablishedPeers use findMin instead of minView in the existing
fast-path guard: an O(1) peek that avoids allocating the deletion of
the minimum. The fast path now also covers the empty-queue case, which
previously fell through to the general path.

Replace raw constructors with the shared helpers (app, builtin, force, case_,
con, text, constr, true, false, err) and chained `app` for mkIterApp, in the two
modules that already import Transform.Lib. Only mkConstant @Bool / @() /
@BS.ByteString stay raw, as Lib has no equivalent (con/text cover Integer/Text).

Some CIP-30 wallets (notably mobile in-app browsers) return addresses
from getChangeAddress/getUsedAddresses/getRewardAddresses as hex-encoded
CBOR bytes rather than bech32. WalletAuthModal passed that hex into
deserializeAddress, whose bech32 decoder threw a raw 'Invalid checksum'
error and broke wallet authorization. connect-wallet.tsx had the same
bug in its UTXOS payment/stake normalization blocks, silently swallowed
by try/catch, letting hex addresses flow into the user store.

Add normalizeAddressToBech32 (Address.fromBytes().toBech32() from
@meshsdk/core-cst), which derives the network from the address header
byte, and use it at all three sites. Surface a clear error in the auth
modal when the wallet address still cannot be parsed.

Co-Authored-By: Claude Fable 5 <[email protected]>

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