Cardano Updates

Co-authored-by: Alexey Kuleshevich <[email protected]>

Co-authored-by: Alexey Kuleshevich <[email protected]>

build(deps): bump actions/checkout from 6 to 7

fix(gateway): stabilize cardano proof transactions

According to the CIP#0137, message body is between 360 and 2000 bytes.
KES signatures are 448 bytes

Added definitions of `word16`, `word32` and `word64` values.

Bumps the security-updates group with 4 updates in the / directory: [axios](https://github.com/axios/axios), [ws](https://github.com/websockets/ws), [shell-quote](https://github.com/ljharb/shell-quote) and [vm2](https://github.com/patriksimek/vm2).


Updates `axios` from 1.11.0 to 1.16.0
- [Release notes](https://github.com/axios/axios/releases)
- [Changelog](https://github.com/axios/axios/blob/v1.x/CHANGELOG.md)
- [Commits](https://github.com/axios/axios/compare/v1.11.0...v1.16.0)

Updates `ws` from 8.18.3 to 8.21.0
- [Release notes](https://github.com/websockets/ws/releases)
- [Commits](https://github.com/websockets/ws/compare/8.18.3...8.21.0)

Updates `shell-quote` from 1.7.4 to 1.8.4
- [Changelog](https://github.com/ljharb/shell-quote/blob/main/CHANGELOG.md)
- [Commits](https://github.com/ljharb/shell-quote/compare/v1.7.4...v1.8.4)

Updates `vm2` from 3.9.18 to 3.11.5
- [Release notes](https://github.com/patriksimek/vm2/releases)
- [Changelog](https://github.com/patriksimek/vm2/blob/main/CHANGELOG.md)
- [Commits](https://github.com/patriksimek/vm2/compare/3.9.18...v3.11.5)

---
updated-dependencies:
- dependency-name: axios
  dependency-version: 1.16.0
  dependency-type: direct:production
  dependency-group: security-updates
- dependency-name: shell-quote
  dependency-version: 1.8.4
  dependency-type: indirect
  dependency-group: security-updates
- dependency-name: vm2
  dependency-version: 3.11.5
  dependency-type: indirect
  dependency-group: security-updates
- dependency-name: ws
  dependency-version: 8.21.0
  dependency-type: direct:production
  dependency-group: security-updates
...

Signed-off-by: dependabot[bot] <[email protected]>

The mk-free canonical Shelley ledger state is UTxO-free (its values live in
the backend), so the UpdateTablesOnEraTransition coverage 'cover 50 nonEmpty
UTxO' could never be met for the pure-upgrade boundaries and the property was
vacuous. Replace those cases with 'testUtxoUpgradeTranslation', which generates
a source-era NewEpochState that does carry a UTxO, runs the ledger's cross-era
translateEra' on it, and splits the resulting UTxO back out, asserting every
entry survives with its TxOut upgraded (the TxIn key is era-stable). Also keeps
asserting the consensus state translation emits no table diff for these
boundaries.

Bumps [actions/checkout](https://github.com/actions/checkout) from 6 to 7.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v6...v7)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: '7'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

chore: remove Nix and the std deployment framework

Feature/new mesh scalus emulator

There is a chance that incompatible ordering functions may be
passed to the `verifyCert`. And we need to catch this problem
sooner and prevent from building incorrect cert with mismatched
amount of votes, so we add a check that the size of the deduplicated
voters and certs is the same.

See https://github.com/tweag/cardano-peras/issues/240 for the
deeper discussion.