fixed some heap bugs, added avl states for check bf, allow mulitple codetrace highlight