Adding more complex memstore test (does not currently pass using either alloc, todo) to test avoidance of two-mem operations.