Removes commented out proves that were no longer needed in MCEBounds.v
Removes commented out proves that were no longer needed in MCEBounds.v

tm507211/CoqPerceptron,tm507211/CoqPerceptron,tm507211/CoqPerceptron