incorrect memory trace values

[apenzk]

Memtrace error

in transaction.rs we have

                    return Execution {
                        change_set,
                        status: Status::Success,
                        memory_trace: MemTrace::new(vec![
                            // reads must precede writes in the memory trace
                            MemOp::Read(*sender),
                            MemOp::Write(*sender, *amount),
                            MemOp::Read(*receiver),
                            MemOp::Write(*receiver, *amount),
                        ]),

but should this be the following?

MemOp::Write(*sender, total amount left, i.e. new balance),
...
MemOp::Write(*receiver, total amount new, i.e. new balance),

[apenzk]

cc @franck44