Prosecutors demand $3.1m in luxury houses and Tesla from Tornado Cash defendant