updated Run Function

There is a bug in run(Domain d, State s) causing to run the exact same
way over and over again, instead of a more randomized version in the
other.