lincheck-2.5

Improvements

1. Allow extra suspensions in executions
2. Fix starvation on internal spin-loop based synchronizations if the number of available cores is less than the number of scenario threads