Deakstadieđáhus: Principled and Practical Static Analysis for Python