as_leading_term method of acosh and acoth corrected

Output changed to I*pi/2 and tests added