Well I agree the ignore/mute user feature could use some more refinement, I did find that to be kind of clunky so don’t usually use that.
What you described does kind of seem like a bug, however technically if you are ignoring someone that does indeed mean you have not read anything that is being ignored so it is accurate for threads to still be listed as not entirely read.