Industry leaders reacted strongly to the news that popular mixer Tornado Cash has been sanctioned by the US Treasury Department.