IsDeliverable modified.  Previously it was possible for protocol execution to block if a local and non-local message shared the exact same timestamp.  This is no longer possible