Rain launches an alpha version of their open, fully decentralized, and automated options protocol, enabling the creation and resolution of prediction markets