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

fixes #6212
Merge pull request #7996 from skirpichev/remove-is_real-for-sets

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