added "opaque" to some types in rbtree; improves verification time by about 33%