tone down AutoDiff error reporting and make it switch-offable