I just need to know when looking at a league ID whether it is a pro circuit league or not.

GetLeagueListing doesn't have this data, and I don't think there's any pro circuit endpoints which list the leagues there.

Posting this just in-case I have missed something before I give up and just do it by hand