I can't believe that on slashdot, of all places, people don't understand that we invented computing machines explicitly to remove people from doing mundane, repetitive tasks because people suck at it. They make mistakes. They get tired. The paper gets lost, mangled, or stolen.
Using machines isn't the problem. The problem is mis-applying a human-centric testing methodology (hand recounts) to a machine context. The proper way to test a machine IS WITH ANOTHER MACHINE.
Heuristics are bug ridden by definition. If they didn't have bugs, then they'd be algorithms.