Restructure
Restructure
Sleep-set blocking is not an error
Fix Dialyzer warning
Ensure that sleeping actors are never chosen
Actor's vector clock stores actor's previous index

Before this the vector clock for an actor's event stored the current index.
Source DPOR also supported (--optimal=false)