• Changed key rotation options such that user has to either pass the name of a new profile or explicitly flag that no profile should be generated (without this update the interactive profile generator could fail out after the key has already been rotated). This enforces the check for the new profile validity before doing anything on-chain.
• Added support for key rotation to/from Ledger hardware wallets.
• Fixed a bug in the Move Prover leading to internal error in generated boogie (error global '#0_info' cannot be accessed).
• Added support for a new native function to compute serialized size of a Move values.