[Pitch] Move Function + "Use After Move" Diagnostic

[Michael_Gottesman]

FYI, I posted a pitch for consuming/nonconsuming here: [Pitch] Formally defining consuming and nonconsuming argument type modifiers.