Added new optimized zend_array_destroy() function