changed semantics of VC and some fixes

VC now merges and increments its value only, when it is
concurrent with the merged VC; otherwise it returns the greater VC from
the merged vector clocks

tryCompareTo now uses ordering equivalence instead of VC equivalence