The US Treasury removed Tornado Cash from its sanctions list