chore: certora setup for stakemanager and vault

[0x-r4bbit]

Description

Describe the changes made in your pull request here.

Checklist

Ensure you completed all of the steps below before submitting your pull request:

• [ ] Added natspec comments?
• [ ] Ran forge snapshot?
• [x] Ran pnpm lint?
• [ ] Ran forge test?
• [x] Ran pnpm verify?

[0x-r4bbit]

I'm going to merge this one. Ci/verify is failing due to a rule that finds all methods that change an account's balance. This is there for debugging purposes. The rest of the prover job looks green: https://prover.certora.com/output/6199/cd288a8cd8ef4e66ae07ddb7eac23096?anonymousKey=a5109475509d3c48edac0f92728f639e705cc0d5