Merge pull request #16 from apanda/master

Additional assertions in Peek Scheduler
DPOR.