For what it's worth, I run into weird CARP issues every now and then with 7.1. Stuff like both machines thinking they're master, or a down machine not triggering failover in the secondary. Always seems to be worse with the multiprocessor kernel.

It's one of those problems that don't happen often enough for me to really spend time debugging, but is annoying nonetheless.