Don't use _eval_sides to evaluate Equality, use is_zero instead

fixes #6116
Move _eval_sides to the Relational._eval_simplify helper
Slightly expand Equality docstring: add notes about simplification
Merge pull request #8270 from skirpichev/6116-rel-simplify

Less automatical evaluation for Equality, improve simplification