Have more strict type checks when creating BinOp nodes in BitcodeReader