It really would be quite nice if they restarted, allowed partial withdrawals and then had a make-up token that they used to start paying their customers back with over time that could be traded at a discount on the open market.

Bitfinex effectively did similar during their hack and paid it off. Seems like a good enough method to me.