In ProofCheckerSuite#checkProof, fail if the proof is not valid
Created by: cache-nez
This ensures that the test will fail if an invalid proof is found when a valid one was expected.
GitLab upgrade to version 17.6.2 on Monday (https://go.epfl.ch/CHG0045788) may have caused issues for users using password authentication for git push and similar. Workaround at https://go.epfl.ch/gitlab-regained . Please reach out directly to gitlab-admins@groupes.epfl.ch, Cc 1234@epfl.ch if you are still in trouble after attempting the workaround.
Created by: cache-nez
This ensures that the test will fail if an invalid proof is found when a valid one was expected.