VIX options hit record heights in Tuesday’s trading.