It appears that shorting of CRV tokens was a distraction shot to exploit a sophisticated loophole on DeFi platform Aave.