SplayIntSet benchmarking facilities.