合同升级

Tact 目前不允许合同升级，因为 Tact 合同比 func 中的合同更复杂。理论上是可行的，但所需的工具并不在这里。