Tezos Activates 12th Lima Protocol Upgrade to Offer a Leaner and More Secure Blockchain