lincheck-2.8

Features

1. Allow extra suspensions in the dual data structures formalism (#43, #48)
2. Support Serializable classes as operation parameters and results (#46)
3. Add a mechanism to provide the thread number as an operation parameter (#47)

Bug Fixes

1. Do not show old threads in deadlock/livelock thread dumps (#41)

Improvements

1. Improve the execution performance by Implementing a custom executor for ParallelThreadsRunner that keeps the threads active (#44)