It was Jacob deGrom’s prerogative to turn down a potential trade to the Braves, but it surprised some folks.