Depend on iog version of quickcheck-contractmodel

[MaximilianAlgehed]

Pre-submit checklist:

• Branch
  • [x] Tests are provided (if possible)
  • [x] Commit sequence broadly makes sense
  • [x] Key commits have useful messages
  • [x] Formatting, PNG optimization, etc. are updated
  • [x] Important changes are reflected in changelog.d of the affected packages
• PR
  • [x] Self-reviewed the diff
  • [x] Useful pull request description
  • [x] Reference the ADR in the PR and reference the PR in the ADR (if revelant)
  • [x] Reviewer requested

[MaximilianAlgehed]

@zeme-iohk when you have the time :)

[MaximilianAlgehed]

@andreabedini or @koslambrou is this at a point where I can start working on it again?

[andreabedini]

@MaximilianAlgehed Absolutely, go for it, CHaP was fixed and the flake ref too.

EDIT: actually, I don't think there's anything left to do. I merged this PR, my previous fixes and the changes from the main into this branch https://github.com/andreabedini/plutus-apps/tree/PR-quickcheck-contractmodel-dep. nix develop, cabal build all and cabal test all all seem to work.

You can roll my branch into your PR, or I can open another one if you like.