Coding is Not a Crime - The Tornado Cash Case