A slew of infrastructure for testing Cooper's algorithm. Useful for regression testing and efficiency experiments.