i dont think the flop raise size is bad, and if it should be bigger it shouldnt be much. id bet smaller on the turn.

obv him folding a chop is profitable, but thats irrelevant in this case because we know shoving is already hugely +EV