Allow running arbitrarily large capacity tests
chetan51 opened this issue · comments
Currently, there is a limit to how many worlds/elements can be in a capacity test, due to the pretty-printing of the elements. If we exceed this limit, just print ? instead of symbols, and allow running arbitrarily large tests.