Should Protocol Contracts be Upgradable?