Add positive handler for acot in new assumptions
Add tests for acot in both new and old assumptions
Mark a test XFAIL which will be implemented in assumptions in future

Add test for asin
Fix a bug in positive handler of asin