Well, it seems to not be working. But I found a workaround. I downloaded Inbox from Google and kept Gmail as the default app, and things have been working great. I hope this gets fixed and I do not need a workaround.
Oh OK, I took a look at set it. But I'm still not getting push notifications. I'd hate to do a hard reset. I have everything backed and can restore my phone in less than an hour if I wanted to, but rather not.