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