Automatically test a large number of category theory libraries