Red Removal More Efficient
Red Removal More Efficient

remove-red now stops at the next green change instead of trying to
recompress a change history that's already had red-removal applied.

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