Why not convert it and sell it? Spending BTC doesn't destroy any evidence, you'll still have a record of the original BTC to trace. I imagine there is some legal procedure to go through before they can dispose of the assets, but I can't imagine them simply shredding the keys.