In the options pits, traders are the most prepared for a tech pullback since early Summer.