Prior to this change, we used test case and test file interchangeably,
but in an attempt to clear up wording, test case refers to the tests the
autograder applies, and test file refers to the tests the students
submit.