Rearrange verify_ssh_host_key() for robustness in the face of strangeness, in