today: VRBT_REMOVE returns the element argument no matter if it was
present in the tree or not, so it can not sensibly be used for assertions.