This release adds support for GitHub actions and fixes some possible aliasing issues on the counterexample check script in the tests. It also fixes build errors with newer (>1.70) Boost versions.