What's Changed
Performance:
- Reduce memory footprint in #218
Features:
- Introduce other failure modes in #237
- Add --match-test and --match-contract in #238
Dependencies:
- Drop support for python 3.8 in #226
- Require z3 4.12.2 in pyproject in #236
Full Changelog: v0.1.9...v0.1.10
