Update a6

Finally figured out how to make that last helper method to assert the ClusterGroup initializer precondition. Also, asserted the run() precondition.