Fix ndebug builds (don't enclose release code in debug assertions).