Loosen some test assertions from REQUIRE to CHECK