Add snippet for standalone-verifier

[Sword-Smith]

The current verifier that lives in tasm-lib/src/verifier/stark_verify.rs expects both the claim and the vm_proof_iter to be on the stack when it is invoked. This doesn't work for recursive verification, as can only prove programs that start execution with an empty stack. So we need some kind of wrapper for the STARK verifier program.