Avoid returning None for positive assumption of asin/atan
This commit fixes the issue which was making the new assumptions module return None for nonpositive asi and atan functions.
I've also moved tests of new assumptions to sympy/assumptions