Use QuickCheck to test correctness of zeitScore