Move deleteDivOrMod from Optimization companion object to new GraphExtensions

It doesn't really have anything to do with Optimization
Loop strength reduction