a Go port of the QuickCheck unit test framework