The silver lining Justin Verlander provided Astros