Optional Kildall for static checking pass

[deian]

Right now, we do thread walking through the function to build paths. This is kind of insane. We should instead have a simple Kildall pass, which will make things a ton faster. (We can keep the thread walking approach just in case its still helpful for people)

[mlfbrown]

This will take place on the new-static branch