PHP 7.2 Beta Shows Marked Performance Improvements