also bump semigroupoids upper bound in test suite