So, I've figured out how to assign the microphones using the instrument busses provided by the Pianoteq 9 plugin in both my DAWs. The Pianoteq manual is very vague and was not helpful (and by the way if there is a downloadable PDF manual, someone please point me to it since I can't find it and I don't want to depend on an Internet connection for that).
From the manual:
12.2. Mixer
The mixer allows you to mix up to 8 microphones into up to 8 Outputs (also named Bus). For each microphone and each active Output, you can Mute or Solo and you can adjust the Volume, the Pan, left Land right R Delay and polarity (clicking on Lor R). Your audio configuration may impact the Output behavior and you can add or remove Output clicking on the Mixed Output title.
In both my DAWs, 7 additional 2 channel busses (separate from the stereo mixed output) appear and can be assigned to tracks for monitoring/recording, BUT no actual audio is routed to them until you "add new output" in the Pianoteq plugin by clicking on "Mixed Output" in the plugin mixer.
Then you will see two tabs to the left of "Mixed Output". Each tab number corresponds to the associated stereo bus (although both my DAWs show the 7 added busses each as 2 mono pairs (for example bus 2 is shown as 2-2 instead of 2L-2R). Tab #1 corresponds to the main stereo out, #2 corresponds to bus 2, and so forth. Each tab switches the mixer to show the faders for the corresponding bus (like pages), and up to eight microphones can be assigned to the corresponding bus for that page.
So in effect you can send up to 8 different stereo mixes to your DAW. Then you have to figure out how to properly assign them in your DAW to create a 7.1.4 channel configuration that sounds appropriate for your production (in my case, I want an accurate live performance effect).
Speaking of effects, I did not find a way to route reverb or other Pianoteq effects to a separate bus, and the included effects seem to be stereo-only. I'm thinking that if you don't want the image smeared in your immersive mix, you will probably need to turn off the Pianoteq reverb and use a good 7.1.4 reverb fed by a 7.1.4 bus in your DAW.
Yes, it would have been far easier for PT 9 to support 7.1.4 directly. I had previously requested 7.1.4 plugin support. Can we look forward to that in PT 10, please?