Parameterise Hall interval. More symmetrty breakers.
Setup benchmarking for CT.