Add semantic.SliceAssign, fix GAPII to work with observations.

Merged the C++ state mutator into the spy.
Added missing read and write observations.
Stopped bad mutations of the application pool.

Change-Id: Ie829ee5bd800318f9e8dd59496b85f829c004190
16 files changed