rename rbt_count_nodes to rbt_size; remove testing-only functions from .h