Bugfixes: (1) blind search bug with dollar sign; internal insert for the
case length(u) == lcp; (3) memory leaks; (4) Series of special cases.