Lots of reasonable options, really. Lots of not so reasonable options, too, depending your point of view.
Leaving the RV uncovered and allowing the solar system to do its job would be one decent approach.
Charging the batteries completely, making sure the tops are clear of crud, and disconnecting them for the winter should also work just fine. The self-discharge rate in the cold of a fully charged AGM battery is fairly low; it's parasitic loads in the RVs that really make them run down.
Using the built-in converter and keeping periodic tabs on the water levels etc. is reasonable. This was what I did last year without trouble. (Not a WFCO converter, in my case, but a MangneTek 900 series, as I recall, a simple single-stage ferroresonanat converter).
Using a dedicated float charger or maintainer is also a reasonable option. Likewise, using a small separate solar system is reasonable (and a variant on the first idea).