Rigorous Guarantees for Randomized Diagonalization Algorithms