Options investors pull back on tech bets as U.S. stocks slammed