Added IxSet to the benchmark (see teh results at bench.out bench.html and bench_cmp.out. Cleaned up the benchmark.