Keep in mind that Fuzzyness trains with Pro fairly often, so he's much more comfortable with the matchup and the player. Plus it's pretty dismissive to not consider him an "actual tough opponent" when he got 33rd or something similar at EVO 2013 (I forget the precise number, but I think that's the lowest it could have been).
You're downplaying the importace of Pro's set against Armada as well. We're talking about a set that went to the last stock of game 5, featuring the absolute highest level of PM play in Europe, between two PM-specific characters with a rapidly developing metagame. Both players were whipping out stuff I'd never seen before, coming up with new combos, and adapting their strategies. Oh, and Pro was going up against someone who is considered by some to be the greatest smasher of all time (or at least the greatest Melee player of all time), who has yet to drop a set in PM to M2K, Leffen, or anyone else. The fact that Pro got THIS CLOSE to breaking Armada's record is pretty freaking impressive.
Now, Leffen. After losing to Rolex at Apex, it seems Leffen got himself quite a bit of matchup knowledge and adjusted his gameplan vs Pro, who subsequently lost in what I'll admit was a bit of an embarrassment compared to what I had been expecting. No johns, it was a 3-0 and it was rough to watch. But Pro adapted. He came back through loser's and made it to Loser's Finals, where he proved to be quite capable of stepping up his game in response to his earlier loss. It wasn't a reverse 3-0 or anything, but it was a win. Leffen should've won? Well, he didn't. Professor Pro did, and in my humble opinion, he finished things out with one of the greatest finishing combos of any game of smash ever.