The traditional hand-based process isn't much cheaper, which is one of the reasons they're
changing. It's basically not auditable; any sort of recount is very expensive. And do you have
any idea what type of insane, biased software is running on some of the vote counters in the
traditional hand-based process?
Standard off-the-shelf processors and compilers are generally trustworthy. If they give you
the code, you can compile it yourself. Alternately, high-reliability software, like for
airplanes and military applications, will compile without complex optimizations just so they
can audit the assembly and the source code simultaneously.