Looks like there’s actually an option to ignore users properly now
I tried it out and it hides the replies from the users you’re ignoring (you can still expand them) and as far as I can see, you can’t see any threads from them that they make.
More details here:
https://meta.discourse.org/t/ability-to-ignore-a-user/110254