I personally would get a Denon X series receiver, because Audessey is much better than AccuEQ, especially XT32 in the 3000 series and up. (I’m also an Onkyo owner FYI)
With your budget of $3000, I’d actually be looking at much higher quality speakers than Elac Debut or Polk Signature series. Revel, Kef, and Monitor Audio would be my 100% go to. PM me for a bit more info and help (in more ways than you think) if you like.