Cardano Updates

This commits provides a model implementation for the weighted Fait
Accompli committee selection scheme that will be used for Peras. This
comes with a pure model of the local sortition scheme that will be used
as a fallback for non-deterministic non-persistent voters.

In addition, it provides some general QuickCheck properties to verify
the validity of the deterministic parts of the algorithm.

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

Co-authored-by: Nicolas BACQUEY <[email protected]>
Co-authored-by: Thomas BAGREL <[email protected]>
Co-authored-by: Agustin Mista <[email protected]>

## Summary

Migrates the weekly restoration benchmarks from Buildkite to GitHub
Actions.

- New `restoration-benchmarks.yml` workflow (weekly schedule + manual
dispatch)
- Runs every Monday at midnight UTC
- Two-stage pipeline: build gate then sequential restore matrix
- All 4 restore variants enabled: `base`, `seq0`, `seq1`, `rnd5`
- Each variant uses a dedicated mainnet node DB copy (`mainnet-1`
through `mainnet-4`)
- Reuses existing `scripts/buildkite/main/bench-restore.sh` script
- Artifacts (logs, heap profiles, SVG plots) uploaded per variant
- 23-hour timeout per variant, sequential execution (`max-parallel: 1`)

### Infrastructure changes on benchmark-new
- Node DB copies moved from `/var/lib/buildkite-agent/databases/node/`
to `/home/gha-runner/databases/node/`
- Ownership transferred to `gha-runner`

### Tested
- [Successful baseline
run](https://github.com/cardano-foundation/cardano-wallet/actions/runs/21901865353)
— node picked up existing DB without full replay, wallet restoration
completed

Closes #5127

Signed-off-by: Chris Gianelloni <[email protected]>

- Add `profiles: ["devnet"]` to all proto-devnet services
- Proto-devnet now requires `--profile devnet` to start
- ImmDB remains `--profile immdb`
- Update README with new usage instructions
- Update IP addresses in README for immdb profile

Usage:
  docker compose --profile devnet up      # Proto-devnet
  docker compose --profile immdb up       # ImmDB mock

Signed-off-by: Chris Gianelloni <[email protected]>

Documented regression for ledger apply/reapply