Fix the test-verify command so that it ignores phantoms.