fix: reset in between prop tests to fix flakiness

[brice-stacks]

Otherwise, it was possible for the simnet and the model to get out of sync, causing flakiness in the tests.

Description

Applicable issues

• fixes #

Additional info (benefits, drawbacks, caveats)

Checklist

• Test coverage for new or modified code paths
• For new Clarity features or consensus changes, add property tests (see docs/property-testing.md)
• Changelog fragment(s) or "no changelog" label added (see changelog.d/README.md)
• Required documentation changes (e.g., rpc/openapi.yaml for RPC endpoints, event-dispatcher.md for new events)
• New clarity functions have corresponding PR in clarity-benchmarking repo

[brice-stacks]

Fixes #7251

[Copilot]

Pull request overview

This PR updates the SIP-031 stateful property test to reset simnet state between fast-check runs, preventing the model and simulated chain from drifting across generated cases.

Changes:

• Converts the stateful property test to async and reinitializes simnet before each generated command sequence.
• Recreates the model per property iteration while sharing command statistics across runs.
• Updates command-run reporting to accept the statistics map directly.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
contrib/core-contract-tests/tests/sip-031/sip-031.stateful.prop.test.ts	Adds per-run simnet reset and per-run model initialization for the SIP-031 stateful property test.
contrib/core-contract-tests/tests/sip-031/commands/utils.ts	Adjusts command-run reporting to consume the shared statistics map directly.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.