#413 made the BLIF importer a little more robust by explicitly handling more flip-flops that Yosys might generate into the BLIF given our current Yosys script. We need to either create Verilog or BLIF files that exercise the new control paths in extract_flop() that are possible given those changes.