Vclock to json and back, test