Robinhood to Lay Off 9% of its Workers