ok, heres some food for thought:
Who owns the wallets that coins were withdrawn to and how do they know they are controlled by paul vernon? It all assumes that every large withdrawal in Cryptsy's history was stolen, while ignoring the fact that users were withdrawing from wallets tagged "Cryptsy".
And, the real question is, how many customer funds are missing? If the total is 10,000 BTC, then it really doesn't matter how much Cryptsy spent over that. The only thing that matters is what happened to customer funds.
For example, the person that said they were missing .5 million ETH. The assumption made in the thread is that they were stolen. Has anyone analyzed the ETH wallet? Is it on the server that was given to the receiver? Have those funds moved? That's the sort of analysis that would be meaningful.