Better tests, now that I understand Arbitrary.