dev-ndebug for do-it; NDEBUG fixes