Some vmalloc questions

Further on this topic, is it safe to assume the dmalloc support (code ifdefed by DMALLOC) can be removed? AFAIK Address Sanitizer and Valgrind subsume dmalloc these days and are simpler to deploy.

Yes, I believe so. I think this was something we abandoned.