Market timers ran for the exits after Tuesday’s big drop. That’s a good sign.