Merge pull request #13 from apanda/master

Failure detector
Revert "Whitespace bombing run"

This reverts commit 713942705075e374ba56fe842f6b4b3fee362b7a.

Conflicts:
	src/main/scala/verification/schedulers/PeekScheduler.scala