Quite correct, AFAIK. But, so does FreeBSD (other *BSD's moved to UVM), albeit heavily modified for performance. I would not be surprised if some of these modifications made it into Darwin; however, I cannot know, since I am not involved in Darwin development.
The fact that underlying VM...