The only one that I think would actually make a difference is penalising drivers who don't set a Q3 time.
"If you don't set a time you start from the back" is my view and I mean the back, not just the back of the Q3 drivers.
I voted for 2. for that reason.
I also voted for 3. because
a) as it stands it discriminates against those that have earned their place in Q3 relative to those (11th, 12th, etc.) that failed to make it, and
b) because those 11th, 12th and so on are rewarded for their failure to make it into Q3 by having fresh boots at the start of the race relative to those that beat them in Quali but who have to go out on knackered rubber.