Connectivity Labeling and Routing with Multiple Vertex Failures (Proceedings of the 56th Annual ACM Symposium on Theory of Computing)