More dpor tests
Add exhaustive scheduling tests
Optimal DPOR
Bug fixes
Re-implement source-set DPOR
Refactor the scheduler code
Optimize recent_dependency_cv
Restore classic and simple source-set based DPOR algorithms