VX(C): add full test coverage to the vector clock.