... There also exist battery isolators. Instead of switching, a diode on each branch prevents one battery from interacting with another. This is unlikely to be compatible with your goal, however. The charge controller is interactive with the battery voltage and already capable if isolating the battery from the array's supply - meaning conflict. Searching for electronic battery switching will bring up a lot of passive battery isolators and that will be a dead-end, I fear.
Of course, choosing the right relay is also tricky. It's switching DC so the contacts must make a clean break before making the other circuit. Depending on how the circuit it set up, though, you could be switching the voltage difference between battery banks, which will only be a few volts (good) instead of switching all of one battery voltage to another. Long relay life and less difficult selection.
Enough now on the direction I was headed...
I like Bruce's suggestion too.
Since, no matter what you do, you have the prospect of buring electrical wires from the array to the shop, and already have them going to the house, it seems like the only "additional" cost to the buried AC choice is the junctions you must make at the inverter, and relocating the inverter itself.
Definitely worth considering.