Agreed. I was the smart kid on the high school football team, so I was tasked by the coach to tutor some of my lesser-performing teammates and it was an absolutely miserable experience.
I would not want smart kids wasting their time with dull kids; but smart older kids imparting their wisdom on smart younger kids (where it won't be wasted)
Second, you are only looking at half the equation. That 7th grader spending time with a smart 6th grader is also spending time with a smart 8th grader.
The benefit comes from the (fact? hypothesis?) that bright children within a couple of years from each other will get a hell of a lot more bang for their buck than the time they spend with their (statistically) relatively average teachers that have lost touch with that part of their development cycle.
If he's already good at it, teaching it shouldn't help him that much, and now he's wasted time he could be using to learn more things himself (see your own #6).