new-mut-ref: move/copy info for struct update tails#2014

tjhance merged 3 commits intomainverus-lang/verus:mainfrom

struct-tail-copy-move-fieldsverus-lang/verus:struct-tail-copy-move-fieldsCopy head branch name to clipboard