Should Electronic Voting Machines Have Voter Verified Paper Audit Trails?