This isn't quite accurate though. Perez basically had the highest top speed of any of the top 4 cars. We saw it in qualifying. It was even 2-3km/h higher than Verstappen's setting. Miami is a difficult track for overtaking especially when Red Bull can defend with their top speed which was much higher than that of Mclaren. Mclaren was the slowest team with DRS in qualifying.
in any case, Norris was going to overtake Perez on the main straight just as Perez peeled into the pits so that overtake was happening. It's irrevelant though because as I said, this circuit is tought to overtake on. It's the pace in clear air that we care about because that is the measure of performance.
Norris after being released was quicker than anyone before the safety car. Faster than all the people who pitted for hard tires for multiple laps until the SC came out.