Release Notes

https://a16zcrypto.com/posts/article/halmos-v0-3-0-release-highlights/

New Contributors

• @Jayakumar2812 made their first contribution in https://github.com/a16z/halmos/pull/471
• @copilot-swe-agent made their first contribution in https://github.com/a16z/halmos/pull/533

Full Changelog: https://github.com/a16z/halmos/compare/v0.2.6...v0.3.0