evaluator/v0.6.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>