Updated versions of checks.json and grader.js.