This week, there was a lot of options activity in Twitter (TWTR), where the shares got hammered after a technical bug hurt ad revenue for the quarter.