Better test coverage.

The "Resolution" constructor no longer calls "error" for wrong values of
NSIDE, but instead throws a DomainError.