what tool would they use to steady the camera frame like that? having little experience with video editing the only way I know of doing it would be getting opencv to track the horizontal line on the back(of the jumper) of the guy who was leading and rotate the frame accordingly, surely there are video apps that do this simply.
It's built into youtube when you upload videos - and it's very good. Easiest way to tell how much it's stabilizing is to notice the way the frame (black rectangle outline) bounces around during the video. A more trained eye will also notice the subtler IS distortions.