There are some people who virtually have to be holding either AA or KK to go all-in preflop in a cash game, so against such opponents it is wise to lay down KK preflop to their AI. It seems you had a read on her as this type of player, so yeah, you should have made that monster laydown.

That being said, I've only folded KK maybe two or three times in my life preflop.