One problem that remains even with your theoretical machine is that non technical people are left behind in the verification process. It can be argued that a voting and verification method that is opaque to quite a significant part of the population is undemocratic.
porque no los dos?