Developers should design all smart contracts with pause or upgrade mechanisms