It's not at all obvious how aggressive a gerrymander should be. It's certainly not as simple as "draw a map that will be safe for the whole decade".
In good years for the GOP, Torie's map would likely be 13-3. In particularly bad years, it could easily be 3-13. But that doesn't tell us anything in and of itself, because we haven't put a value on an additional GOP Congressman as a function of how many seats the GOP holds. If you think it's important to have a strong "buffer" against Democratic waves in order to reduce what a disunified Democratic Congress could do (e.g. pass ObamaCare), then you'd weight this highly. However, perhaps you would prefer to weaken this in exchange for an additional GOP House member in GOP waves, which could potentially be enough to pass a controversial bill or override a veto.
Neutral-ish years (where control of the House is at stake) are also tricky. It depends on how much variance in the Congressional vote is determined by PVI. Currently, this appears to be
on the rise, but there is nonetheless still a good chance that Democrats could win in Republican-leaning district otherwise neutral years. Conceding a seat to shore up all other districts would reduce these chances, but it should do so by more than one expected seat.
This paper on optimal gerrymandering may be helpful for mappers (warning: math).