Which gives better performance; VirtualBox or QEMU?
I've always been put off by the fact QEMU needs configuring via commandline to set up. But if it was worth the effort, I'd make the jump.
There's also https://virt-manager.org/ as a GUI for QEMU. Brew forumular here https://github.com/jeffreywildman/homebrew-virt-manager. But they don't mention HVF support, so I'm not sure it'll work