Why would rolling eyes at other people be a symptom of ADHD? I find that confusing. I guess maybe if he has some compulsion to roll his eyes it could be a symptom of OCD, but I suspect that would mean he'd be doing a whole lot more of it than it sounds like he does.

I'd be worried about him having a laugh with this, to be honest. If I didn't find some of his other behavior disgusting, it might even amuse me to think of a student convincing a professor that his eye rolls were pathological in nature - especially if the professor forbade the behavior in the syllabus. If he hates you, this could be a great way from his perspective to stick it to you... to make you look like a dummy.