[specifications] minor fixes to the move_adapter spec
[specifications] minor fixes to the move_adapter spec

Nothing substantive here, but I recently noticed a few small glitches...

Closes: #7845

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