allSeesAllAsAvailable now has allSeesAllAsJoined as precondition
Added test for starting up single instance cluster