Insert _ into AVL names that aren't AVL_.

Most notably, this affects AVLOPS and AVLALLOC.