edit docstring; remove obsolete comment; add coverage tests
ellipse: handle prec=None case and arbitrary ellipse failure
_tsolve: return None for all unhandled expressions
6393: RootOf evaluation uses bisection for real roots
unrad: remove unused "all" keyword (use minpoly instead)
quick