The Return of Rigorous Full-System Timing Simulation