WIP: Don't mix old and new assumptions in the sympy codebase

Until we move to the new assumptions, I think we shouldn't use this system in the sympy modules, unless there is no options.

ToDo
- [ ] more tests (is_number, is_algebraic)
- [ ] inequalities module
- [ ] BlockMatrix._eval_determinant
Anyway, this looks wrong.  The code below can't handle even Q.integer coefficient (e.g. symbolic integers).