Performance optimization : use set instead of list (#1415)
Performance optimization : use set instead of list (#1415)

Better average performance for `ìn` operation : O(1) instead of O(n)
trailofbits/manticore,trailofbits/manticore,trailofbits/manticore,montyly/manticore,montyly/manticore