[WIP][Prover] remove reference for parameters and return value for spec functions

[rahxephon89]

Description

Close #10784

How Has This Been Tested?

Key Areas to Review

Type of Change

• New feature
• Bug fix
• Breaking change
• Performance improvement
• Refactoring
• Dependency update
• Documentation update
• Tests

Which Components or Systems Does This Change Impact?

• Validator Node
• Full Node (API, Indexer, etc.)
• Move/Aptos Virtual Machine
• Aptos Framework
• Aptos CLI/SDK
• Developer Infrastructure
• Move Compiler
• Other (specify)

Checklist

• I have read and followed the CONTRIBUTING doc
• I have performed a self-review of my own code
• I have commented my code, particularly in hard-to-understand areas
• I identified and added all stakeholders and component owners affected by this change as reviewers
• I tested both happy and unhappy path of the functionality
• I have made corresponding changes to the documentation

[trunk-io]

⏱️ 13m total CI duration on this PR

Job	Cumulative Duration	Recent Runs
rust-move-tests	9m	🟩
rust-cargo-deny	2m	🟩
check-dynamic-deps	2m	🟩
general-lints	30s	🟩
semgrep/ci	21s	🟩
file_change_determinator	10s	🟩
permission-check	2s	🟩
permission-check	2s	🟩
check-branch-prefix	1s	🟩

_{settings ⋅ feedback ⋅ docs ⋅ learn more about trunk.io}

[rahxephon89]

• [WIP][Prover] remove reference for parameters and return value for spec functions #15190 👈
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @rahxephon89 and the rest of your teammates on Graphite