Added cycle example, distributed
Arbitrator creates threads. Handles the case when not all edges may have been resolved. ProcessCommit waiter works.