asn_process: update bigint files to workaround

asn1c 0.9.28 on systems without 128-bit integers doesn't
handle INTEGER SIZE of 18446744073709551615.

Use a set() rather than a list() when just testing for membership.