[Testnet] Aptos Node Release v1.47.1-rc
Fixes unsound axioms in prover and adds native-position StateKey variant with per-block NativeTransactionWrites.
Fixes unsound axioms in prover and adds native-position StateKey variant with per-block NativeTransactionWrites.