Determine if pysa can help with control flow graph generation

[JosiahOne]

Determine if https://pyre-check.org/docs/pysa-basics/ can help with control flow graph generation.

It supports partial type checking and can do some control flows. It does, however, say "It does not see the source of your dependencies." so this may not totally help us since this is a key need.