DataFlowSanitizer: Add a debugging feature to help us track nonzero labels.