v8.2.230221

What's Changed

• fix missed optimization by better scoring of candidate expressions (fixes #3)
• Remove Z3 version hardcoding by @es3n1n in #1
• simplify build by removing hardcoded z3 version (5a43d3f)
  Full Changelog: v8.2.230125...v8.2.230221

v8.2.230125

Initial gooMBA release.