> How can we know for sure the binaries running on the voting machines [..]

As far as elections are concerned, give me paper ballots every day, and make sure you count them by hand with plenty of Mk I human observers present.