[well named]

I changed my mind, if you assume he is never folding (reasonable, I think) then it's better to bet, since if you check he could check behind worse hands and bet better, which would cost you some EV. In reality this probably doesn't happen much, but from a game theoretic perspective betting should be closer to optimal if you assume both sides are not folding. (There's actually a one-full-street no-folds toy game considered in Mathematics of Poker that reaches this conclusion I believe.)