RFC: Binary String Comparison

see https://wiki.php.net/rfc/binary_string_comparison and http://news.php.net/php.internals/76611
Not sure why you removed this optimisation; I think it should stay there, but just replace the `zendi_smart_strcmp()` call.