On the first eigenvalue of the Witten–Laplacian and the diameter of compact shrinking solitons