unit tests for H^2

diffgeom unit tests for hyperbolic half-space.