Remove prove-and-verify flows

[codygunton]

We could probably even deprecate the command, but at the very least I think we should remove it from the interface and add the verification step as an optional check to the prove flow under a flag like --verify.

ludamad edit: no one seems to want this, this issue is now 'remove this everywhere'

[ledwards2225]

@ludamad maybe this are already gone at the time of writing this? If not I think they will be removed in your interface updates. (I think we just always verifier, at least for CIVC)

[ledwards2225]

long gone