Create extra task to execute proven tests

We have a few proven tests, which are either skipped currently, or have proofs set to disabled.
It's probably not smart to do a lot of proving inside of the CI for every PR - so we should create a extra task that we can run manually before every release to check that proven tests still work