Short sellers are betting more than $1 trillion against US stocks after big run