I'm not sure I should pick the scab off this, but if i understand you correctly, this is to accommodate mix engineers mixing on the mic trims after they run out of fader? Are you sure these aren't DJs? No offense to any DJs reading this.
Back in the bad old analog days, a soft limiter on the mic preamp would indeed be a lesser evil to hard clipping the preamp or fader gain stage, but in the digital domain, one could actually increase the effective channel mix contribution relative to the others, by dropping all the others (and trimming back up post master fader). This is apparently too much work for these human operators, but easy-peasy for a computer. I actually did something like that in an old automatic mixer I did using VCAs, but for a different reason. I didn't want the users to screw up the GBF relationship by turning up an input gain, so when the operator turned up one channel, they were actually dropping all the others. Getting back on consoles, the need to ever mix on mic trims could be replaced by increasing the fader range. The fader could be made progressively faster at the top of the range, so it wouldn't even be noticed by conservative mixers but you could (almost) always push any channel up on top of the mix if needed.
or not....
IMO a mic pre soft limiter is something that would be most useful for entry level customers, like clip limiters on power amps, to protect them from their inexperience. Of course the customer is always right and product should be designed to satisfy the wants of the customer, while there may be alternate ways to satisfy the need without adding distortion that they haven't imagined yet. Customers didn't demand microwave ovens, but they embraced them when they were available. It seems with adequate computing power, mic trims are archaic and could be left to cybernetic control. Increased channel fader range should accommodate the least disciplined mix engineer. A digital console could be made that never clips, ever.
I don't make and sell digital consoles so my opinions are untested in the marketplace. I'd tell them to use a distortion plug in if they really like that sound, but I have no customers to say that too... (which makes it easier for me to say).
JR
PS I have mused before about digital console controls mixing to targets rather than absolute gain or boost/cut. EQ could target a spectral result, faders could establish a relative mix. This different mixing paradigm is more likely to be tolerated by low end users first, but too expensive show up there any time soon, but eventually, maybe.