[Bug] [Package System] Dependency version not checked

[fEst1ck]

🐛 Bug

The current package system allows us to specify the version of a dependency as in

[dependencies]
P2 = { local = "/path-to-P2", version = "2.0.0" }

but the version is not checked. Suppose we have in the manifest of package P2

[package]
name = "P2"
version = "1.0.0"

no error is raised. The "version" key is also not specified in the move book.

Expected Behavior

If the version declared in the dependency package manifest doesn't match the one given in the [dependency] section of the importing package, raise an error.