Preliminary SplayIntSet benchmarks.