Update regression tests for :prove and :sat output
Update regression tests for :prove and :sat output

As of ee8685e4f283968b236b9328b43b5d72eb49cee6, :sat and :prove now
parse and then pretty print the given predicate with appropriate
parenthesization.

TomMD/cryptol,ntc2/cryptol,TomMD/cryptol,GaloisInc/cryptol,TomMD/cryptol,TomMD/cryptol,GaloisInc/cryptol,GaloisInc/cryptol