No, it shouldn't.
Those who consider these well-established terms problematic'problematic' avoid using them already. And those who don't (I, for instance) will find the proposed pop-up thesaurus annoying, and will of course ignore it, or seek ways to turn it off. So, at least for now, such a feature would be useless at best.