Spectral and Probabilistic Guarantees for Greedy Max-Cut | Synapse