The government seized Bitcoin worth many millions from him, so they're still ahead.