Property-based testing for PHP inspired by ScalaCheck