The good thing is that even a full professor does not make more than twice the salary of a PhD student. I think that should be the rule in the US as well. Either raise the salary of PhD students or lower the professors.

I'd vote for option 1, personally!