sort in _roots_trivial to match RootOf sorting

Also give roots_quadratic and roots_binomial a flag
to allow sorting to be skipped.

A robust numerical method is used for sorting since
complicated expressions arising from roots_binomial
sometimes fail comparison tests, raising the error
about symbolic expressions not having a truth value.
reverse roots in inequalities; add tests