Computational Monitoring of Oxidation States in Olefin Metathesis