[Bug][move-compiler-v2] *&x gets turned into move x in at least one case

[brmataptos]

🐛 Bug

Compare test outputs:

• third_party/move/move-compiler/tests/move_check/translated_ir_tests/move/signer/read_ref_transitive.exp
• third_party/move/move-compiler-v2/tests/ability-check/v1-signer/read_ref_transitive.exp

V2 seems to accept *&x as valid for a type without copy by turning it into a move x.

Splitting up the test to avoid the other error and generate code shows that is what is happening.

This shouldn't happen. I can't quite think of an attack based on this, but it seems very, very unexpected behavior to move data through an immutable ref.

[rahxephon89]

@wrwg, I asked this question here. Just wondering whether it is a semantic change? cc @brmataptos