pub fn verify(reader: &mut TraceReader) -> VerifyReport
Verify every invariant of a trace stream, consuming it.