A note on the "thinness" of 5w30 oils:
There is probably more variation in viscosity of your oil due to varying operating temperature between summer and winter, light and heavy engine load, etc. than there is between a 10w40 and 5w30 oil. Oil "hot" viscosity is rated at 100 degrees C when in practice it sees a wide temperature range in actual use, yet your engine copes.
As an oil ages, the viscosity improvers tend to break down, meaning the oil thins. This happens more rapidly with semi-synthetic oils than fully synthetic. By the time your 10w40 semi synthetic oil needs to be changed it might well be a 10W30 or worse, yet the 5W30 will have done a better job of staying in grade.
In other words, it's not worth worrying about. Both are suitable for your engine, so take your pick. I'll go for the fully synthetic that's GM approved.

Bear in mind, though that Halfrauds do a 5W40 fully synth as well, for those who don't want to move to a 30.