As stocks fall, options traders show no rush to guard against deeper pullback