Reddit stock has more than doubled from its IPO price after options trading started