added CI_VERIFY / CI_VERIFY_MSG macros
added CI_ASSERT_NOT_REACHABLE() macro