technically it doesn't *have* to be NeverAsync, but not marking it as such unconditionally requires templating DebugState over asyncness of its callback (which then requires templating EvalState, which, *NO*.) Change-Id: I4980d45b541c2e40328beac139b18c6c1ba0957c