I would like to talk you out of the Celestron AVX if you are interested in Astrophotography. The AVX is a great visual mount, but a very iffy astrophotography mount. Quality varies a LOT. You could get lucky--or not.
Your best bet is between the iOptron CEM25P ($898) which has limited capacity, and the Orion Sirius ($1,099) or very similar HEQ5-Pro ($1,150). Yes, decent mounts (and these are the *low end* ones) are expensive. But the important thing with AP mounts is steady tracking, and those are the mounts that offer that. Without steady tracking you will never get good images.
For a scope, choice depends on what mount you get and whether you like smaller or larger objects. With any of the above mounts you are limited to 70 to 100mm aperture scopes (ED or APO refractors). A 70mm scope is best for large objects. A 100mm scope will be better for smaller objects. An 80mm scope is in-between. The 100mm scope may be too much for the CEM25P. All scopes in this range will require a flattener and/or a reducer-flattener. Faster (F/6) scopes will gather signal at a faster rate than slower (F/7 or F/7.5) scopes. A reducer multiplies the native F/ratio of a scope--so a 0.8x reducer will make an F/7 scope into a much faster F/5.6 scope.
Now that I said all that, choice of scopes is large, but my recommendations are between:
1) The Astrotech offerings (Astronomics website, our CN patron which offers a *small* discount to members as well). My recommendation is NOT based on that, we don't get paid or even get brownie points for referrals, I do think the Astrotech scopes in particular are among the best bang for the buck.
2) The William Optics offerings. William Optics has the prettiest scopes out there--they are also well thought out and function well as a system (they offer scope, guidescope, mountings for both, matched flatteners, the works--you can get a complete well-matched solution, a bit pricier usually for the same glass).
3) The Teleskop-Service scopes. This is an excellent company with well-thought-out offerings, do NOT be afraid to order from Germany, just watch the shipping cost, there will be no duty for under $2,500.
I should mention the Skywatcher scopes too--their Esprit line is excellent (but pricey). The Evostars IMO are a bit overpriced.
Finally, a good mount-scope combo is available from Orion. You may be happy with that rather than try to make up your mind among too many bewildering offerings. It's definitely a good starter combo.