Port some standard tests from push-php.