Add MachineTraceMetrics::verify().