lincheck-2.4

Improvements

1. The stress strategy now detects hanging, stops the test and prints the thread dump in this case (#25)
2. It becomes possible to write a part of the test in a superclass (#24)

Breaking Changes

1. We decided to remove quantitative relaxation, it requires too many resources to support it, and we do not use relaxed algorithms in Kotlin (#22)