This is a sequel to this MO question:
The multiplicative order of 2 modulo primesThe multiplicative order of 2 modulo primes
As shown in Charles Matthews' paper linked to there, it is not hard to show that for each $\delta > 0$ there is a $c = c(\delta) > 0$ such that the set of primes $p$ for which the multiplicative order $n_p := \mathrm{ord}_p(2)$ of $2$ modulo $p$ satisfies $n_p < c\sqrt{p}$, has density $< \delta$. In particular, the set of primes with $n_p < p^{\frac{1}{2} - \epsilon}$ have zero density.
My question is, is $1/2$ really the critical exponent? For $\epsilon > 0$, is there a positive density of primes $p$ with $n_p < p^{\frac{1}{2} + \epsilon}$. Moreover, is there a $C < \infty$ for which the set of $p$ with $n_p < C\sqrt{p}$ has positive density?
I would also like to ask about the analogous question for elliptic curves: is $1/3$ really the critical exponent there? Given a point $P$ of infinite order, is there a $C < \infty$ for which the set of $p$ such that the order of $P \mod{p}$ is $< C \sqrt[3]{p}$ has positive density?