What's Changed
* feat: constrain (r, s, v) signature values by karmacoma-eth in https://github.com/a16z/halmos/pull/259
* fix: vm.etch(addr, "") used to raise an exception by karmacoma-eth in https://github.com/a16z/halmos/pull/264
* feat: --solver-command lets user replace z3 invocations by karmacoma-eth in https://github.com/a16z/halmos/pull/272
* unpin z3 version by karmacoma-eth in https://github.com/a16z/halmos/pull/275 and https://github.com/a16z/halmos/pull/276
**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.11...v0.1.12