This test simply verifies that the tests are being run in checked mode.