[P4Testgen] Fix problems with the reachability pass.

[fruffy]

Clean up some issues with the reachability pass and modernize the code. This pass is barely used so the changes are not of much consequence. This fixes are useful for better control-flow analysis and statistics on program complexity. Hoping to contribute some of this code soon.

Also add some more getter/setter helper functions to callgraph.h.