I wouldn't be against trading Kirk, but there is some risk to the 2023 team in that scenario. Trading him after trading Hernandez, without getting an established good hitter in return is losing a lot of potential offense. Trading Moreno in that scenario might make more sense since Kirk/Jansen is an established elite catching tandem, while Moreno could take years to fully develop. If they trade Kirk in this type of deal then they'd have to have at least one hitter lined up to acquire who could hit in the top 4 in the lineup. I guess Kirk for Thomas + pitcher combined with signing Conforto has potential to turn into a net positive combining defense, base running, lineup balance, upside, etc, but there's still some risk there.
That's kind of the fascinating part in all of this. You can make an argument for trading any of the 3 catchers. Atkins has a tough decision to make, but I guess tough in a good way.