Run Quint tests in the CI

[p-offtermatt]

Problem

If we add the Quint model to the repo, it should be maintained.
The first step would be to have the tests against the model run on all commits (maybe we can make it only run when files in its folder are touched to save on CPU time).
For more details, see the README of the quint model. https://github.com/cosmos/interchain-security/pull/1336/files

We likely should run invariant checks, sanity checks, ..., essentially all but verification with Apalache.
Actual model checking would be overkill in the CI.

Closing criteria

Some automatic tests of the model run in the CI pipeline.

NOTE:

This issue does not mean "model based tests of the code using the model". This issue is concerned with "testing the model itself".