v0.1.12

What's Changed

• feat: constrain (r, s, v) signature values by @karmacoma-eth in #259
• fix: vm.etch(addr, "") used to raise an exception by @karmacoma-eth in #264
• feat: --solver-command lets user replace z3 invocations by @karmacoma-eth in #272
• unpin z3 version by @karmacoma-eth in #275 and #276

Full Changelog: v0.1.11...v0.1.12