Optional Kildall for static checking pass #4

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)