When a variable goes out of scope, have the hover message say whether it's resource is dropped or not

[vishnureddy17]

Currently, the hover message says "x goes out of scope". We want it to say "x goes out of scope. Its resource is dropped" or "x goes out of scope. It did not own a resource." so we can match what we said in the paper.

In the past, the hover messages always said that the resource is dropped whenever a variable of non-reference type went out of scope. This was incorrect because if ownership got moved away from a variable, there won't be a drop when that variable goes out of scope.