Um, that is a really shitty flop for your KK, but you do have a draw to the 2nd nuts, plus theres a chance your opp is drawing too, so I guess a shove wouldn't be terrible given your stack size and the size of the pot.

No, were correct in just 4-betting, 4-bet shoving would have made most hands fold, just because it would be such a huge reraise.