I found existing code in php-src calling `zval_dtor()` before assigning a value, but I'm curious as to why this is necessary. Are we just ensuring that the zval's data is cleaned up (e.g. maybe it was a reference to an object) before we overwrite it?