I don't disagree really, but Thor's contract probably won't get that bad. It might be easier said than done to just move all of Nova's salary, but he's a useful enough innings eater that I'm sure we can do it.
Still, I think it's highly likely that we'll be sticking with what we've got, and maybe some quasi interesting recalamation-ish guys like Diekman.
The bigger question with Thor is what it would actually take to acquire him. Can we avoid also including Hayes in the deal? If the Mets are moving Jeff McNeil, maybe one of Kramer or Newman becomes useful for them as a supplementary piece (and I wonder if they might eventually just put Cano at 1B). If so, can Keller, Newman/Kramer, Brubaker/Kingham/Waddell, and something like Cruz get it done? If we're willing to really go all out and use Keller and Hayes, that's something a lot of teams might not want to top, although realistically teams like the Astros and Yankees, not to mention the Padres, can definitely outgun us.
It's not really worth spending too much time considering, although if we were in on the possibility of Gray, it makes sense we might still be looking at all SP options. With Thor's contract, we'd actually be able to just go all-in for the next three seasons, which coincides with Archer's contract. He's certainly a health gamble, but if Archer got his game back to a higher level and we had Thor, we wouldn't need to worry as much about home runs...