Reactive state updates in contract models

[MaximilianAlgehed]

Some contracts have offchain code that runs in the background (e.g. the Auction example contract). This PR introduces a simple change to ContractModel that makes it possible to model these reactive state changes faithfully.

Pre-submit checklist:

• Branch
  • Tests are provided (if possible)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
  • Relevant tickets are mentioned in commit messages
  • Formatting, materialized Nix files, PNG optimization, etc. are updated
• PR
  • Self-reviewed the diff
  • Useful pull request description

[sjoerdvisscher]

Thanks!