Line seems great to me up to turn.

I'd be tempted to check this over at the river. If we shove, his calling range will be reasonably tight, like 77 I guess could have tagged along, and certainly KT if he can have it, but unless he's been slow playing a set on this board (doubt it) I can't see his calling range to a shove is wide enough. There aren't that many hands we beat that can call a shove compared to hands we lose to.

Having said that, I'm not folding. He might call two overs or a gutshot at the flop, so it's not outrageous to think he can have the lone Ah. He might bet this at the river as he has no showdown value. Also, any set will probably bet for value if we check, I reckon we only lose value against KT and he has that less than 1% of the time.

Unless we think he can call a shove with a pair or he can have a set then I can't see shoving the river is +ev. Calling a shove might be though.