Verifying ElectionGuard - a theoretical and empirical analysis