If he's good enough to clear all high school requirements by nine, I don't think he'll get anything positive out of the experience of staying in school. I'd hope he could find a cohort of other like minded people his age and skill level so he's not feeling isolated as he grows up.