Remove .is_finite assumption

fixes #5393
fixes #5385
fixes #7007
Merge pull request #7891 from skirpichev/remove-is_finite

Remove .is_finite assumption
Don't use new assumptions in the sets module
XXX: Add is_algebraic assumption, remove usage of new assumptions from polys

XXX add tests
Adopt test: (sqrt(3) + S.Pi).is_rational is False
Add is_number property for AlgebraicNumber
remove using of new assumptions in the polys module
Adopt test in wester.rst
Don't use new assumptions in the manualintegrate.py