pub fn vc_concurrent(a: &[u64], b: &[u64]) -> bool
Two vector clocks are concurrent iff neither happens-before the other.