“Aart de Geus's succession plan for Synopsys favored an internal candidate in Sassine Ghazi to substantially reduce risk.”