I'd go for the 4-string/single course solution. It's easy enough to simulate a double course setup with delay or pitch shift, or even a Midi sample, if you really need it. The main bugaboo with Midi is getting clean tracking, and I can't imagine this being easier with double course strings.
Disclaimer... I've never tried this with a mandolin, but I do have two guitars with RMC hex piezo pickups driving a Roland VG-88, a VG-99, and an Axon pitch-to-Midi converter. It's not easy getting clean, glitch-free Midi from a fretted instrument, even with single strings.
Lebeda F-5 mandolin, redwood top
Weber Yellowstone F-5 octave mandolin
Bookmarks