2. Wait a year
3. Withdraw in batches (not all at once)
4. Move to Dubai
5. Find some sketchy guys who charge ~20-30% to go crypto -> wire transfer and don’t care about source of funds
6. Work with those guys to come up with documentation to placate compliance officers
This may not work forever because Dubai is probably going to have a big crackdown due to getting put on the FATF greylist. This also works in some Eastern European countries.
Exactly you should slowly withdraw from Tornado. But you cannot use companies like Coinbase Gemini et al because they will ask about source of funds after a certain amount which you obviously do not want to reveal and coins that pass through Tornado are tainted now due to Tornado getting put on the OFAC list so they may freeze your accounts. So that’s where the sketchy people come in.
Come to Dubai, buy some mansions with crypto (some real estate developers accept crypto), sell those mansions for USD, and voila.
At least if I was going to risk a heist like this it's roughly what I would do.
But seriously, in the current world, if we have a half-billion dollars "worth" of legitimate (or laundered) cryptocurrency, what can you do with it in the real world, especially contrasted to what we can do easily if we have a $$half-billion in legit $, €, £, or ¥ deposits?
I don't think we could even buy a Tesla or a pizza anymore. Maybe some things on Craigslist that take crypto?