Add tests for same-address readwrite inference

* Update test to include both 'old' and 'new' read-under-write values

(cherry picked from commit 47cc4a8c)