Merge pull request #12 from apanda/master

Replay scheduler should create all possible actors
Whitespace bombing run
Merge branch 'master' of github.com:NetSys/sts2-interposition

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