Added SSL symbols and header.
Improved the performance of symbol search.
Performance bottleneck is basically all in FSM_Merge calls. By performing
merges in order of smallest to largest, the working FSM is kept small until
the end thus avoiding lots of the large, expensive FSM_Merges.
Made all regression tests pass again.