Make sure that state.highstate marks updated VMs as, well, updated
Seems like we need to run some additional things to make sure that updated cubes are actually marked as updated from the perspective of qubes-update-gui
.
This boils down to running the formula in dom0:/srv/formulas/base/update-formula/update/qubes-vm.sls
.