Update TheoryStrings to use CDHashSet<>::key_begin() / key_end().