Other Nit: Fix EIP 1159 typo in comment (#7963) fix(fuzz): do not exceed configured runs (#7971) fix: apply --no-match-test when invoking compiler (#7941) feat: smarter verification (#7937)