[Indyan]

How the hell is a class 9 student gonna understand HC Verma and solve ML Khanna? Its ridiculous!
Just do class IX and X stuff thoroughly. That's all.
Or if you are so hell bent on getting him ahead of the curve, make his finish up IX course asap and then finish X also within the same year. After he is comfortable with IX and X stuff he can try some XI and XII level stuff.
Even there dont jump in directly with Arihant Target IIT series. Go for something simpler. Ask him to go through school syllabus books.
As far as coaching is concerned i think some coaching institutes offer courses for IX and X also. But seriously, they are pointless.