afterOrEqual

Returns true if vector[other.actorID] is greater than or equal to the given ticket's Lamport.