IMO since the batts were accepting 17 amps at say 14.4v from the portable, they should have been accepting more than the stated 3 amps at (assumed) 13.6v from the WFCO.
Before just replacing the WFCO in place, the wiring etc should be checked over, or else any new converter will also under-perform badly.
Alternatively, the gen looks like a 2400w, which will run up to a 75 amp charger, so there is no need to use a teeny- weeny "12a" charger with that gen if you want a fast recharge.
I would take both routes.
1. Get a bigger charger ( I would choose the PowerMax 75A ADJ model--but not the regular converter, ONLY the adjustable voltage version), and
2. Find out what's wrong with the WFCO installation, so it does more amps at 13.6, even if it never does 14.4.
Then, I would use the WFCO on shore power and at home on Float, and use the big amp charger when off-grid and running the generator.
EDIT--yes 16v is way too high! Don't do that. Norcold fridge limit is 15.4v, EG.
1. 1991 Oakland 28DB Class C
on Ford E350-460-7.5 Gas EFI
Photo in Profile
2. 1991 Bighorn 9.5ft Truck Camper on 2003 Chev 2500HD 6.0 Gas
See Profile for Electronic set-ups for 1. and 2.