Finish renaming a bunch of files from Test... to Check...

Reserving the name Test for actual Tests (e.g., JUnit tests).