UPDATE: I got the car back from the shop, and it is clear that whatever caused the damage to the wiring harness also damaged the condenser and the lower line to the condenser (big friggin holes that once shown to me, I can't believe I missed them!). They gave me the car back (no charge) for me to source those parts and install them, then they'll recharge the system and see what happens next. Or I could write them a $750.00 check and they'd do it. I think I'm capable of this, so I'll start shopping!

Thanks to all for the help thus far! The saga continues!