And how many voters or voting officials will be able to verify the digital signature of the binary that the voting machines run (which would potentially thwart trojan replacement of compiled code with different binaries)?

Ken Thomson proved this won't help, while I don't disagree with your sentiment, remember that all the open source in the world can still be circumvented by a compiler that you didn't write...

DOH!!! How in the hell could I have forgotten AD&D (Advanced Dungeons & Dragons). I think I would have not made it through Jr. High if it had not been for the creative and escapist outlet that is D&D.