Add VERIFY_CHECK/DEBUG_CHECK and use CHECK macros more