#22, put back in some makeRelative tests, far more restricted
When there is a failure, show the QuickCheck output in a better format