Revert "debug risky php 7.2 test"

This reverts commit 51d77837680354b704b9f419358f79ebe58e6b2e.

Author: staabm

Makefile

@@ -12,7 +12,7 @@ tests-levels:
 	php vendor/bin/paratest --runner WrapperRunner --no-coverage --group levels
 
 tests-coverage:
-	php vendor/bin/paratest --runner WrapperRunner --verbose=VERBOSE
+	php vendor/bin/paratest --runner WrapperRunner
 
 tests-golden-reflection:
 	php vendor/bin/paratest --runner WrapperRunner --no-coverage tests/PHPStan/Reflection/ReflectionProviderGoldenTest.php