Add a flag to just call execution within the vm so people can verify there program before proving.
Add a flag to just call execution within the vm so people can verify there program before proving.