Use the new TimestampDifferenceExceeds API instead of timestamp_cmp_internal

and TimestampDifference, to make coding clearer.  I think this should also fix
the failure to start workers in platforms with low resolution timers, as
reported by Itagaki Takahiro.