Use `IncOptions` for `transitiveStep` and `recompileAllFraction`

Recently introduced IncOptions allow us to make both transitiveStep
and recompileAllFraction configurable in incremental compiler.