I am curious if this matters for the purposes of the Bitcoin "damages". By today's exchange rates it could be an insane amount of money. If the "crime" is supposed to be wiped clean as if he never did it, then in theory it would mean give him back his property, etc. I don't know the specifics about that or if it would change with respect to clemency or commuting of a sentence.