Make the trace comparison print on verbosity >= 1