Add CHECK(p), like ASSERT(p) but works even when !defined(DEBUG)