Honestly everything screams ASD. I think you are asking a lot and probably more than is reasonable. That said I am in a different country and support is very hard to get here and we don't have autistic support classrooms. So here he may get a 1:1 support if he couldn't be managed by the classroom teacher [very severe autism or behavioral problems] but if he behaved in the ways you describe he would be removed from the classroom by that person most of the time anyway. if it weren't for the behavioral issues he may get no support. Last year ds6 had a kid with a 2 to 3 year developmental delay who only got one hour a day support, the kid who appeared very hyper got no support and the teacher had 24 5 year olds with widely ranging skills to teach. That is just to show where I am coming from.

Given what you mention I would see if he could go in an autism support class with more advanced students in higher grades.