The Astros rotation scuffled in July, but they just swung a big trade to get back old friend Justin Verlander. The O’s will miss him this time.