Release v0.32.0

Add `leadsTo` and fix fairness effects (#1932)

* Add leadsTo

* Fix precedence of leadsTo

* Add integration and unit tests

* Accept arbitrary components on effect parsing to handle three-way effects

* Bump Apalache to 0.56.1

* Update docs and expectations

* Update fixture

* Add `leadsTo` as keywords to editor plugins

* Improve fixtures/tests and move to examples

* Add annotation and remove comment

* Add CHANGELOG entries

* Update examples tests scripts and expectations

* Ensure Apalache distribution is available locally before running TLC

---------

Co-authored-by: beu5a <boukhari.yassine@pm.me>
Co-authored-by: Yassine Boukhari <61566936+beu5a@users.noreply.github.com>

Release v0.31.0

Merge pull request #1919 from informalsystems/yassine/release-polishing

CLI polishing for release

Release v0.30.0

Release evaluator v0.4.0

Release v0.29.1

Remove integration tests from the release pipeline

The Rust backend keeps failing CI while trying to download the lastes
binaries from the GH API. This patch comments out the integration tests
from the release pipeline. We'll investigate a fix for it soon.

Release evaluator v0.3.0

Release v0.28.0