The % he c bets flop is a far more important stat than anything you posted here.

I donk flop for .13 since you have seen him check down several mid strength hands over this small sample. With an ATS of 54% there are lots of 9x 6x and jx hands that based on your read he will check which is alot of missed value for you.

Villains turn range is largely a mix of 9x hands, random bluffs, and draws. From reads provided villain seems competent enough that he will fold his draws and possibly some of his 9s as well as the bluffs to this shove. I call turn and c/jam river since his 9's are probably betting it and that's only way you will get value from his draws (hit or miss) and bluffs.