Aside from the 2K & 4K video support, I think there's precious little difference between the SR7007 & SR7005. As for AV7005 vs SR7005, I also thinks there's little difference. Yes, not having the amp section may make things a bit cleaner. But as the prices between AV & SR7005 are very close ($1000 - $1100), the SR7005 w/ the amp section is probably the better buy.
The AV7005 & SR7005 have dual sub out, but they both play out the same signal. Presumably Audyssey, even XT, know how to deal w/ the level / eq coming out of both. Don't really know - but SubEQ HT is not a specific feature. No of course XT32
Sound like you have very specific requirements - i.e. both XT32 & SubEQ HT. No doubt you've already consulted
http://www.audyssey.com/products & found that this is mostly limited to Onkyo / Integra + some Denon.
I think at this point you just have to choose which meets your price point and has the support you need / want in your home country. Or if you buy in the US, many get their receivers + processors from accessories4less as they are factory authorized & often have "refurbs" at substantial discount. Previously they had the Denon 4311 around $1300 & currently have the Onkyo 1010 @ $1250.
I personally wouldn't spend more than USD1300 on a receiver / processor as their shelf life is low & depreciation high after 1-2 years. Whatever you spend above that you are likely to loose within the first 6-12 months if you attempt to resale.