Double-check that all checks marked "Complete" are annotated in the source code

[keks]

Maybe also write a script that tries to find this automatically by cloning openmls and grepping for the check ids.