Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol