This adds a new command to package.json `verify` which can be run via
`pnpm verify`.
The command runs the certora CLI with a config file which has to be
adjusted for every individual project.
The commit also adds a dedicated task to our github actions, which
ensures, verification is done in every PR as well.
r4bbit