Deprecate set.is_real property, use set.is_subset(Reals) instead

fixes #6212

(on top of https://github.com/sympy/sympy/pull/7861, see also https://github.com/sympy/sympy/pull/7972)
ditto below