Switched to a semver constraint for prophecy-phpunit