Regression testing complete; merge improved memory analysis and resulting STATICMEMWRITE annotations useful to the move_globals defense into the master branch.