North Korea also used HTTP for navigating websites which helped them hack targets and also launder more money. Banning Tornado Cash is like banning the HTTP specification/IETF for that, instead of going after the group in North Korea doing the money laundering/hacking.