Satyam Arya

upgrade rust toolchain 1.62.1 && edition 2021 && cargo clippy --fix #275_169

5

## Motivation Upgrade rust toolchain 1.62.1 && cargo clippy --fix

[move-prover] Refactored options creation for better reuse #250_173

2

## Motivation This PR enhances https://github.com/diem/move/pull/439 by making it easier to specify prover options for applications outside of core Move. Without this refactoring, the options have to be passed as...