pub fn lamport_next(local: u64, observed: u64) -> u64
Next Lamport clock value given the local counter and an observed remote value.