“Organizations worried about the potential for e-voting problems have long-advocated for audit procedures by which votes cast by e-voting machines could be verified through audit trails.”