Three months ago, Robinhood laid off 9% of its full-time employees. 713 workers would be impacted by a 23 percent