FPInferredTargetsAnalysis now uses bitvectors instead of sets
of Function instances for performance and reduced memory usage.

Also, introduce a QueueSet data structure for the InfoFlowAnalysis
worklist that provides a FIFO set ADT.