The "equal" case was missing one thing: if both strings are COWed copies,
the compare can be avoided too - it's equally fast then, as "not equal".
That makes sense, as long as we never optimize substring via a COW copy with a different strlen. (That is, one could optimize the initial-substring case that way, though I don't think we do that currently.)
JEff
