Added More Debug Messages to Red Elimination
Added More Debug Messages to Red Elimination

Red elimination now reports exactly how many changes it was able to eliminate.

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie