Remove .is_infinitesimal assumption

See discussion in #7943, e.g. [this](https://github.com/sympy/sympy/issues/7943#issuecomment-54041566).

fixes #5263