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