Enable two-phase checking in sequential mode when --local-partial-types is set

[ilevkivskyi]

Right now there may be minor inconsistencies between sequential and parallel mode, because the latter uses two-phase checking (interfaces, then implementations). We should (gradually) switch sequential mode to the two-phase checking as well.