Experiments for improving circuit complexity bounds

At the moment, this is just a small collection of benchmarks and quick experiments.