My journey into the deep abyss of implementing a QuickCheck in Python