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)