Think your flop sizing is too small given the button's flat call. 28k-30k feels right.
Larger check-raise sizing gives Villain a worse price on his draws while also setting up a SPR that will price his made hands (A-x, etc) in when you jam turn.
As played, yes, jam turn. I think you are wrong to discount naked flush draws from Villain's flop range — he has range advantage on this board and can c-bet wide — but you remain ahead of Villain's overall range, and can target not only Ax
hands but pairs (KxK
, QxQ
, etc.)
And if he hit the flush you have outs to fill up.