No, you're pretty much right on with it. High pressure switch, low pressure switch, WOT cutout. I don't recall a thermostatic switch.
The question is why is it cutting out above 55 MPH...I would initially suspect whatever signals WOT to whatever module controls the A/C.
Is it the PCM...