There aren't many shorts. If you take the difference between what I shorted today and what was short yesterday, there is about 200 btc in additional shorts.
Meanwhile, there are A LOT more longs on margin than shorts. And its more expensive too. I can basically short for free.
I wouldn't short if they paid me.
I'm not a huge fan of leveraged long either though.