as_leading_term method of acosh and acoth corrected

Output changed to I*pi/2, tests added and similar tests
put together to save lines.