Finished and working versions of checks.json and grader.json