Thankfully, better designs such as seL4's VMM do exist, although it might need a little more work [1] until usable for the purpose.
I've been using KVM/Xen/VMware for some time and always enjoyed it. And since Amazon and Google especially are going all in on KVM I'm surprised to hear the Xen is a better choice.