Move FactCheck to test/REQUIRE since it is only needed for testing