CodeGen: assert an instruction is being inserted with the correct iterator.