Did Blue Jays improve by dealing Varsho to Astros for pitching?

Did Blue Jays improve by dealing Varsho to Astros for pitching?