Update reachability analysis codegen for tracing garbage collector.

- This re-invokes `souffle` (per the README) to get an updated version
of the C++ code for use w/ `runGC` / `runSouffle`.

Author: dmjio