Verifier script

[Stentonian]

Make a script to make the verifier's life easier. They should just be able to arrive with the proof data and then run the script.

The verifier does the following:

• Construct the root hash of the Merkle tree using $A^*$: $M_{\text{root}}$
• Verify the snark proof $\pi$ using $(M_{\text{root}},P)$