Improving debug output for TraceFileVerifier when in paused state.