US Bans Tornado Cash? Three Things A User Should Know