treiber stack fixed
minor change
added support for facoring out calls to yield checkers; this will help avoid quadratic space complexity
enabled merging of yield calls
deleted the free assume about gates after parallel calls
Fix bug where Visitors could not visit Requires or Ensures because
the StdDispatch method was missing on both Classes.