Bug fixes
- Add a check for local vars count before inserting
afterLocalWriteby @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/881 - Fix performance regression by @eupp in https://github.com/JetBrains/lincheck/pull/889
- Fix ignored section constructor instrumentation by @eupp in https://github.com/JetBrains/lincheck/pull/912
- Fix unsafe field resolve bug by @eupp in h...