move break更新带来的兼容性问题

move社区从diem分离出后，成立的aptos和sui对move做了一次break的更新，这次升级将move的stdlib Vector相关的修改成了小写，starcoin因为之前使用的是大写，并保存在链上，只能依然使用大写，使用大写后会带来move prover失败，因为prover里面的Vector相关也改成了小写

这次提交时候https://github.com/starcoinorg/move/commit/e31d9847cd1843ad571ba6f83e63b04cd96e254b move test中除了move prover都可以过

这次提交https://github.com/starcoinorg/move/commit/b9d6ef3ec28de55c82df1a8d37accb91cc449c70 后move prover可以过，move test都没法过，原因就是

language/move-compiler/src/naming/fake_natives.rs 做了修改

Open

恢复过来move prover就可以通过了，但是move test又失败了，这个目前如何两者都兼顾还不知道