The Graphon Limit Hypothesis: Understanding Neural Network Pruning via Infinite Width Analysis