For Qubes 4, they are planning to deprecate the Xen paravirtual drivers in favor of the HVM drivers. These drivers are much more battle-tested and less complicated than PV drivers.

Also, with their recent foray into enterprise support, they will hopefully be able to expand their auditing efforts in the next couple of years.