* Fixed memory bug which was occasionally crashing the test regions.cpp
* Added a test for simple delete expressions on class objects
* Fixed global_var_no_annot.cpp to not assume reads on globals implicitly
  (this modification with come in the next commit)
Removing the "reads Global" effect from the implicit effect summary.