Define UVMDEBUG for expensive debugging operations. Idea from chuq.