The machines that did the questionable ballot counting must still exist. Every machine can be tested for accuracy by simply counting against a set of pre-verified hand tabulated ballots. The software can also be analyzed by coders to verify possible manipulation of votes. Both checks would be hard evidence in any courtroom.