splaytree: Removed wrong TODOs.