Cleanup sbt keys

Yes. It actually makes more sense IMO. If we ever decide to (truly) incrementalize the DCE step, the two flags still make sense. However the `IncrementalMode` thingy will not allow to incrementally DCE but not optimize.