He built a company to make elections verifiable. Then Antonio Mugica discovered how far the argument can travel from the machinery.