Implemented support for finding writes to shared global variables that occur outside sandboxes and thus will not be propagated to sandboxes. I had previously implemented this check in valgrind but forgot to also implement it in our static analysis.