Titanium - Xác minh tính an toàn của Candid và Motoko Stable Variable Type trong việc nâng cấp Canister