Value propagation: remove Patch::writes_memory
Value propagation: replace [Multi<W> *fields] with [Addr fields] in S_Struct, avoid exe->sim conversions in S_Scope::get().