Toeplitz exactness for strong convergence

We prove a new "Toeplitz exactness" theorem for strong convergence. This is a machine to upgrade strong convergence in the general setting of $C^\ast$-correspondences, and has several applications.