Whilst futures and options both can (not always) have a real world use, the practice of shorting stock has no real world value.

Given that banning this would merely mean a new derivative is concocted to do the same thing, this form of punishment is IMHO a GOOD Thing since shorting then slagging off a company until it folds for profit is if not capitalism at its worst then certainly a bad side effect of what markets do.