Finished versions of checks.json and grader.js