“The penny pilot program for options pricing, which introduced penny increments, began around 2007 or 2008.”