The Business version of parallels for mac comes with a provider for vagrant. Several benchmarks posted online show that parallels outperforms virtualbox by a lot. I had some good experience with boxes that support both vbox and prl. I'm not sure if enough people use this software since it's paid, but I'm really positive about it and curious about the performance of hypernode-vagrant on the parallels provider.