This release makes it an explicit error to apply "invariant()" to a
"rule()" or "initialize()" rule in stateful testing. Such a
combination had unclear semantics, especially in combination with
"precondition()", and was never meant to be allowed (issue #2681).
The canonical version of these notes (with links) is on readthedocs.