Add operand verification to IR::Seq::Iadd