I have the demo versions of VE Pro and MIR Pro. It does work with Finale although I haven't tried using it yet with a large orchestration.
My only question so far is if I chose to use it (MIR PRO) as a standalone plugin is VE Pro still required? So far my testing indicates that it is. As a standalone plugin in an aux bus only one instrument shows up and I don't see a way to map other instruments to the plugin.