azonenberg: Make dump_vcd save model when temporal induction fails due to step limit