Justin Verlander and the Astros agree on a player option for 2023