Better isUTF8 function, pure php, faster (but still slow)