Robinhood’s IPO prospectus shows that 9.5 million customers traded $88 billion of cryptocurrency on