When we added same-shape requirements, we broke -analyze-requirement-machine, which outputs some histograms. Add a regression test to make sure this code path doesn't bitrot.
