Microsoft partners with voting machine maker Hart on election security ElectionGuard software lets voters check their votes were counted properly.