Spectral Theory for Edge Pruning in Asynchronous Recurrent Graph Neural Networks