Avoid junk in proof generation in some cases

And fix a couple of warnings
simplifyProof
bump version number