A Quickcheck implementation for Python