Documentation updates

- Adding vralloc to vmem.tex