The crypto mixer is said to have processed $20.5 million out of the $620 million taken by North Korean Lazarus Group hackers.