Tire shop over torqued lug nuts (1969 Dart). Should I redo it?

Yeah, I can only imagine what was done to them over the years. I only started working on the car myself recently.

Am I right that 7/16-20 is the correct thread size for the lug nuts?
Correct.