The problem is that once Pedey comes back, you won't have Lin or Marrero to kick around anymore. I don't see enough room on the active roster for them.
No, I'm betting that if Vaz is as good as we think he is, the noise of the sample size will clear up after a while. If Leon really is THAT much better than Vaz, just trade Vaz.
If Sandy can get a 4.00 ERA out of a guy, Vaz should be able to over a similar period. Aside from framing, what other skill does the catcher need to have? Vaz and Sandy should be calling the same game.
If that is your argument, then why keep both Leon and Vaz? No reason to have two glove first catchers, especially if one sucks as much as you are saying.