I think bots AND shorting should be banned.
If shorting was beneficial, then it wouldn't have been banned as a resurrection step after the GFC.
Illegitimate shorting can destroy viable companies and allow influential players to buy companies cheap at the expense of normal shareholders.