hash_equals(): Avoid division by zero when $known_string is empty