Two REQUIRE assertions were accidentally deleted by the dbf230650f commit earlier. Bring them back.
dbf230650f