[Move][umbrella task] Move Prover integration

[sblackshear]

• Support in the sui-move CLI
• Figure how/if we need to restrict certain features (e.g., specs about global storage) via linters or options in the upstream prover
• Begin specifying framework
• Support Sui-specific features like parent/child objects, TxContext, ...

[bholc646]

We have the prover integrated and I believe #1512 captures the remaining work. Good to close this one @emmazzz @awelc?

[awelc]

We have the prover integrated and I believe #1512 captures the remaining work. Good to close this one @emmazzz @awelc?

#1512 does include the details that this Issue does. We can consolidate the two but let's not loose the info. As it is, I'd rather close #1512 and keep this one.