Personally, for 7.1.2 AVR, I would go with Yamaha RX-A2080 or A3080, but any of the usual suspects should do - Yamaha, Denon, Marantz, Anthem.
I just sold a Denon X8500 to a client. I actually recommended to him the Yamaha, but he's gotta have something more expensive.