Over-Squashing in GNNs and Causal Inference of Rewiring Strategies