Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search