Python AST Static Analyzer: Import Resolution + Execution-Time Model

Build a correct Python `ast`-based static analyzer that resolves import aliases (`from os import system; system(...)` -> `os.system`) and models which AST positions execute at module-load vs are deferred until call time.