Launched a devnet version of real-time options trading on live sports.