Verifying tunnels