Cardano Updates

Remove unnecessary artefacts

Bumps the actions group with 3 updates: [actions/checkout](https://github.com/actions/checkout), [actions/cache](https://github.com/actions/cache) and [actions/upload-artifact](https://github.com/actions/upload-artifact).


Updates `actions/checkout` from 3 to 6
- [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/v3...v6)

Updates `actions/cache` from 3 to 5
- [Release notes](https://github.com/actions/cache/releases)
- [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md)
- [Commits](https://github.com/actions/cache/compare/v3...v5)

Updates `actions/upload-artifact` from 4 to 7
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](https://github.com/actions/upload-artifact/compare/v4...v7)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: actions
- dependency-name: actions/cache
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: actions
- dependency-name: actions/upload-artifact
  dependency-version: '7'
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: actions
...

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

This will keep our use of third-party GitHub Actions up to date

The LSM session was being initialised with the full lsmPath as both the
HasBlockIO root and the session's FsPath inside it, producing a doubled
on-disk layout like:
<state-dir>/lsm/<state-dir>/lsm/{active,snapshots,...}
instead of:
<state-dir>/lsm/{active,snapshots,...}.

Effect on snapshots: scripts/postgresql-setup.sh --create-snapshot looks
for the LSM tree at <state-dir>/lsm/snapshots/<slot>, didn't find it
because of the doubled path, silently fell back to the InMemory branch,
and produced a tarball missing the LSM tree files. On --restore-snapshot
+ db-sync startup the snapshot couldn't be loaded (ErrSnapshotDoesNotExist)
and sync replayed from genesis.

Fix:
Pass mkFsPath [] as the session's FsPath so it's rooted at the
HasBlockIO root directly. Also harden the snapshot script to abort with
a clear error when an lsm/ subtree exists but no LSM snapshot is found
at the expected path, instead of producing an incomplete tarball.

Files staged for commit:
- cardano-db-sync/src/Cardano/DbSync/Ledger/State.hs
- scripts/postgresql-setup.sh

Simplify Dijkstra constraints

This commit defines concrete data structures for Peras votes and certificates
using BLS signatures to represent vote/cert signatures as well as
non-persistent eligibility proofs.

In addition it defines serialization routines for both types, using a
compact bitmap representation in the case of certificates.

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

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

This commit adds property tests for the newly added bitmap library
asserting that both conversion from and/to indices as well as
serialization roundtrip correctly.

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