chore: Certora formal verification specifications and CI#1684

elhajin merged 2 commits intomainLayr-Labs/eigenlayer-contracts:mainfrom

chore/fix-certora-ciLayr-Labs/eigenlayer-contracts:chore/fix-certora-ciCopy head branch name to clipboard