An 800 AVS should be terrific on that car. You would be better off spending a bit of money having an expert tune it for you rather than buying a new carb that will also need tweaking. If you must though, I would try an 850 double pumper on it (you'll still have to tweak the jets and PV IMO).
