Added ASSERT_NO_CORO_WAITING