Changing VectorClock and GossipOverview to TreeMaps. See #3441