You allowed to speak it, you're not allowed to run actual transactions involving actual Tornado Cash funds through it. If you run this code on your property, it

You allowed to speak it, you're not allowed to run actual transactions involving actual Tornado Cash funds through it. If you run this code on your property, it won't be Tornado Cash anymore, and as long as it doesn't interact with the prohibited properties, it's not prohibited. Of course, if you start doing the same TC did, you probably will get your very own designation pretty fast.