You can buy a single license for HVAC-Calc, which is a fairly easy to use load calculation program, for less than $100.00.
It will also give duct sizes.
The software has not seen any updates in a while, and it has issues with displays over 1920x1080. The monitor resolution will have to be reduced or else the program errors out. The programmer apparently has zero desire to fix this problem.
There are avenues to get a load calculation/duct design/equipment schedule through an independent 3rd party. Then you can provide the "specs" for the job and have something meaningful to compare bids against. I had this done for a permit and the cost at the time was $300.00. I had to provide a drawing for the house and construction specs.
You can also try searching out an NCI certified contractor (National Comfort Institute).
I'd suggest looking into spray foaming the roof deck if it's possible. Having the attic as "conditioned space" will eliminate the need for duct insulation, and that could save some money if access is bad.
Your insulation changes will alter the load calculation.
I have yet to see an existing residential HVAC system with a 5 ton condenser with enough ductwork for the required airflow, not to mention air filtration... unless I have altered it.