Shorting Google is a high risk proposition. There is unlimited loss
from a short position.
Currently VRNG is trading between $3.50 and $4. It will not take long
for a short loss on GOOG to exceed $4 or much higher.
The market has already discounted the verdict and the current price
of VRNG reflects it.