Allow checkLedgerStateCondition check to run in IO

[carbolymer]

Changelog

- description: |
    Allow `checkLedgerStateCondition` check to run in IO. Rename to `foldEpochState`.
# uncomment types applicable to the change:
  type:
   - feature        # introduces a new feature
   - breaking       # the API has changed in a breaking way
  # - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - improvement    # QoL changes e.g. refactoring
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

This PR allows checkLedgerStateCondition check function to run IO actions.
This enables more complex test logic, as well as real-time export of the new epoch state.
cardano-testnet was altered to support this change here:

• Query UTXOs in testnet using ledger state cardano-node#5662

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[smelc]

@carbolymer> can you show how it affects callers?

[carbolymer]

@smelc https://github.com/IntersectMBO/cardano-node/pull/5662/files

[Jimbo4350]

One comment. Have you integrated this against cardano-node with an SRP to check tests still run?

[carbolymer]

@Jimbo4350 added SRP in https://github.com/IntersectMBO/cardano-node/pull/5662/files