As of r21118, I disabled the MAXIMALLY_SHARED assumption in the code, so that it no longer uses pointer equality to compare strings. This change doesn't seem to have a performance penalty in my normal benchmark, but ensures that equality works properly even if maximal sharing failed.