Added a utility class for performing reasoner synchronization.  Also added tests for this.