Random testing for Python