Tweaks to make reset_sequencer actually work in simulation.