Sanity check: check that call graph is complete

Check that for each node in the call graph, we also have scanned its definition (or can find it in a dependency, or it's an FFI call)

This is a good sanity check to make sure we're not silently missing large sections of the call graph or mapping function calls to an identifier we don't recognize.

