If there was that much of a surge on the house I think the fact that the wire disconnected from the receptacle is the least of their concerns.

As an electrical contractor, using the push in connectors is a last resort (if you need 3 wires on one side of the receptacle). That is the lazy way to work and a pain if needing to replace the receptacle or going a renovation and trying to remove devices.