This seems to be largely useless and a waste of cycles as currently configured. For one thing we don't use the plain assert macro, so if we want it to be useful, we should make it check for our dassert. We should also consider enabling CheckFunctionCalls since most side effects will be via non-const functions and methods.