While some big investors cash out of crypto, others double down