If you have a constantly leaking air conditioning system then yes it is worth swapping out. Especially if it runs off of the old r22.
13 seer is the federal minimum standard. It is relatively easy to get 16 seer without going with high-end equipment. Check with your local utility to see if they offer rebates for doing so. When people speak of a matched system, that means the combination of equipment has an ahri number registered to it listing it's capacity as well as efficiency. I believe you are in the epa's Southeast region so I think the ac equipment is already higher efficiency by default.
Sizing is important for AC systems. Oversizing equipment is almost always a bad idea. During periods of lower heat load the unit will cycle much more frequently. It takes about 10 minutes for the system to completely get up to full cooling capacity. And you can almost equate a an ac system cycling on and off more frequently versus running for longer periods like City mileage vs. Highway mileage for a car. Most brands are pretty good. Honestly the installation quality counts more then the brand.
I see you are in Arizona. I do not know what kind of heating source you have, if it's electric heat strips in an air handler, gas furnace or a heat pump. I am a large proponent of heat pumps as any way you can keep the electric heat strips off you will be saving yourself energy. If your ductwork is located in an unconditioned space like an attic or crawl space. Duct sealing is a prudent move if it is leaky. there is a furnace blower door test that can be done to see how much loss your ductwork has. If you have any other questions or proposals that have been given to you it would be interesting to discuss further.