They are definitely contributing to his speed. At that level, people are shaped exactly how they need to be, and if you watch him run, there’s a whole lot of arm motion. AFAIK it’s basically the legs getting leverage against the arm’s opposing swing.