Fix test0034_fresh_post_bad
Fix test0034_fresh_post_bad

The SAWScript file itself was modified to use the `fails` function to
succeed when a proof fails, so the shell script that invokes it no
longer needs to invert its result.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script