Sure, you can add mic IRs to the reverb, I just question whether it’s worth the effort.
I loaded some u87 IR into waves IR1 and it is quite worth the effort, of course the IR just apply some kind of EQ on the signal and nothing more. But it helps getting something different to blend with the original signal although it is clearly not enough ! As you mentioned and you were right, a simple EQ can do the job.
So i went to a friend's studio with my tracks and tried :
https://www.waves.com/plu../the-king-s-microphonesIt adds something realy interesting and way more colored than a IR !
Unfortunately there are only 3 mics and 3 positions for each mic. I Whish there was more mic and some more suitables ones.
I searched some similar VSTs and found only an old Antares plugin and a IK plugin.
I wonder if there is any worth recent and accurate VST mic modeler ?