[release] 0.27.0

[apalache-bot]

Reviewer instructions

• Check the changelog to ensure the version increment is consistent with https://semver.org/.
  • If a different version should be released, follow the instructions.
• Review the changeset as a sanity check.
• Approve the PR, if it pases muster.
• Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
• After the release has been published to github, delete this branch.

---

Release notes

0.27.0 - 2022-08-08

Breaking changes

• Extended the invariant filter syntax, see Extend the invariant filter to specify particular invariants #2034

[codecov-commenter]

Codecov Report

Merging #2044 (9f28337) into main (14a2f56) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2044   +/-   ##
=======================================
  Coverage   77.74%   77.74%           
=======================================
  Files         420      420           
  Lines       12846    12846           
  Branches      588      588           
=======================================
  Hits         9987     9987           
  Misses       2859     2859           

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more