Merge "Fix issues with 'Success_' stats reported by ProxBinSearchProfile"