Handle global writes in the Python ModRef analysis

[khatchad]

Previously, the Python ModRef analysis did not consider writes to global variables that used the global keyword as a heap modification.