Proverif 1.88.1 (new formula)

Transfert from Homebrew to Homebrew-science on demand ...
(https://github.com/Homebrew/homebrew/pull/32214)
Any chance you could install a few examples and run them as a test? The `README` also mentions a `test` script that runs several tests. Thanks.