[move-prover] Bump up the version number of the Prover dependencies

[junkil-park]

Work in progress

• Prover has some unknown performance issue with the new version of Z3 and Boogie.

Motivation

To bump up the version number of Prover's deps.

Have you read the Contributing Guidelines on pull requests?

yes

Test Plan

cargo test -p move-prover