Retail options volume is surging. One startup wants to make it fun. Another wants to make it comprehensible. Both are betting on very different kinds of traders.