[move-prover][spec-flatten] dump the flattened spec
[move-prover][spec-flatten] dump the flattened spec

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