Additional SIP-031 tests

[obycode]

This PR adds some more unit tests, some random tests, and some fast-check tests.

[hstove]

LGTM, thanks!

[jcnelson]

This isn't a testing protocol I'm familiar with. Do these all run in CI?

[moodmosaic]

This looks good and idiomatic for fast-check. 👍 I also left some comments.

One possible improvement would be to move toward a command/invariant model, as in #6321. That way, the sequence of steps in the tests wouldn’t be hardcoded or repeated. But this shouldn’t be a blocker. If and when this gets merged, I can follow up with a PR that introduces that structure, living alongside the existing tests.

[obycode]

This isn't a testing protocol I'm familiar with. Do these all run in CI?

These are using the unit test framework from Clarinet. Yes, they should run in CI with the core-contract-tests.

[moodmosaic]

LGTM

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 54.34%. Comparing base (6168284) to head (807527c).
⚠️ Report is 45 commits behind head on develop.

❌ Your project status has failed because the head coverage (54.34%) is below the target coverage (80.00%). You can increase the head coverage or adjust the target coverage.

❗ There is a different number of reports uploaded between BASE (6168284) and HEAD (807527c). Click for more details.

HEAD has 71 uploads less than BASE

Flag	BASE (6168284)	HEAD (807527c)
	133	62

Additional details and impacted files

@@             Coverage Diff              @@
##           develop    #6316       +/-   ##
============================================
- Coverage    81.45%   54.34%   -27.12%     
============================================
  Files          540      541        +1     
  Lines       347695   347771       +76     
============================================
- Hits        283225   189000    -94225     
- Misses       64470   158771    +94301     

see 421 files with indirect coverage changes

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 6168284...807527c. Read the comment docs.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[github-actions]

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.