Add is_algebraic assumption

for some other changes in sympy.polys - see #7898

@asmeurer ,  I thought you mentioned that such a thing is unproven.