Lucky7coin backdoor that led to Cryptsy losing 13,000 BTC

Context: http://blog.cryptsy.com/post/137323646202/announcement

I'll curious - how do people manage to spend or otherwise liquidate these ill gotten Bitcoins? I've heard that mixing services are not particularly effective, so how are they not found by deanonynization efforts?