Add pre-release workflow

We have recently added CADET-Verification to conduct tests that are more comprehensive than what we can put in the CI.

We should add a pre-release workflow to automatically execute the main script of CADET-Verification.
This can be the first step towards a fully automated CD.