[move-prover][tests] add inconsistency flag to df and stdlib only
[move-prover][tests] add inconsistency flag to df and stdlib only

`--check-inconsistency` is applicable to diem-framework and stdlib only
and should not be applied to move unit tests

This fixes the failure on daily CI.

Closes: #9827

libra/libra,aptos-labs/aptos-core,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,aptos-labs/aptos-core,libra/libra,libra/libra,libra/libra