What's Changed
- Update inox and add regression test from issue 1768 by @samuelchassot in #1769
- Fix extraction of opaque type aliases used outside their defining scope by @mbovel in #1770
- Run verification before GenC and add an option to skip verification by @samuelchassot in #1781
Full Changelog: v0.10.1...v0.10.2