I'm not conviced that the springs are big enough to have any effect on pulling vertically out of the pedal. The tension of mine is so low that my cleats slip into the bindings with hardly any pressure.
That's no surprise, the cleats are shaped so that they clip in much easier by guiding apart the bindings. You'll barely notice any pressure required to clip in.
If the front part of the pedal is hinged (as in the previous image) then at some large amount of force it will pull open the bindings enough for the cleat to pop out. The looser the spring tension the less upward force is required.
I can still honk until my shoes are nearly coming off without pulling out of the bindings though. That would be a complete design flaw. The main requirement of a binding is that it NEVER pulls out vertically, that's it's raison d'etre. There's no point in having a variable amount of vertical release pressure.
Pro cyclists couldn't sprint at all if bindings opened like that surely.
Again, the force required to pull them out vertically is much more than the force required to twist them out. Most of the time you'll never get near the force required to have one pop out vertically.
I've had it happen once, when the spring tension was low and I was really pulling up on the pedal climbing a hill on fixed.
It's not meant to happen, but the design of most SPD pedals means that it can happen. Since tightening the spring tension I've never had another occurrence.
Pro (road) cyclists will be using Look style pedals, or SPD-R, etc which is a quite different design and probably not susceptible to this with the same order of magnitude of forces.