Merge "Add missing header for std::binary_search" into main