What's Changed

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