The rush by Reddit users to own heavily shorted stocks raises an important question about short selling in general