Digital voting machines are in the spotlight in Venezuela, where the head of Smartmatic, a maker of election systems used in the country’s tumultuous constituent-assembly election, said Wednesday that the official turnout figure had been “tampered with .” The company’s CEO said the count was off by at least 1 million votes—possibly in either direction.