I had trouble with the Baroque Cycle and did not bother to finish, but stuck with Cryptonomicon and it was completely worth it. Otherwise agree with your picks.

On Seveneves, no two people seem to agree on which half of the book is "bad", but I will say in general that the first half is more popular among the base. I thought the latter was fine.