Checkpoint
More fixes to this-reference cloning rules
Fix cloned this-reference for struct method calls through a reference, i.e.
  ref.get().x() instead of ref.get().MemberwiseClone().x()
Make tracing show messages when a this-reference is cloned