To verify the proof in the
outputs directory run:
Leo starts by checking the
outputs directory for an existing
.proof file. If it doesn't exist, Leo will proceed to run
leo prove and then continue.
After the verifier is run, Leo will output either
false based on the verification.
The program output will be stored in the program output file