rbtree_test: add __init/__exit annotations