Well it mainly depends on the said feutures that are important to you.
Basically all those three boards named above are fine.
VRM wise the Msi board basically is the strongest of the three.
Allthough its basically just a 5+3 phase doubled to 10+3 by using IR3599 phase doublers,
and there for it have to deal with more input and output ripple current,
compaired to true 8 phase solutions like the Asrock Taichi or Gigabyte Designare EX.
But that shouldn’t really matter that much.
The Msi board still has the stronger vrm of the three boards listed.
And the Gigabyte being the weakest for what its worth in your particular setup goals.
For the rest i cannot really tell how the Msi X399 gaming pro carbon AC does with iommu pci-e passtrough,
since i personally have not really played arround with that stuff yet.
But maybe @wendell did allready test that out.
Like i mentioned all those three boards are basically fine for a 1950X or 2590X cpu.
Its mainlly a matter of compairing connectivity features and find the righr balance for you.