Logically those coins should be destroyed,
Why? They aren't dangerous, like drugs or guns or alcohol or tobacco. They will probably be auctioned off, as if they were the proceeds of crime, eg like when a drug-dealer's car gets seized.
Exactly, bitcoin is currently treated as a property, and those bitcoin will probably be auctioned off after the case is closed.