achievement unlocked: make python segfault
Added maximum depth to import process, and made it so that inference iterates to actual fixpoint, not just bottom-freedom