[move-prover] Fixing dep calculation to use canonical paths.
[move-prover] Fixing dep calculation to use canonical paths.

There were still issues with detecting whether the over-approximation of deps lead to cycles. This PR canonicalizes paths to detect this.

Closes: #4555
Approved by: sblackshear

aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,libra/libra,libra/libra,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core