Implemented RandomizedSearchEngine destructor.