Fix interval::acosh and add more tests on interval to improve code coverage