Certora Prover setup and properties for the audit of Passkey module

[hristo-grigorov]

This PR includes the setup files (.conf files, harnesses, munged .sol files) and .spec files with properties for the different contracts as part of the Passkey module audit by Certora.

All the rules were verified using the latest certora-cli (7.14.2).

[github-actions]

CLA Assistant Lite bot:
Thank you for your submission, we really appreciate it. Like many open-source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution. You can sign the CLA by just posting a Pull Request Comment same as the below format.

---

I have read the CLA Document and I hereby sign the CLA

---

0 out of 3 committers have signed the CLA.
❌ @yoav-el-certora
❌ @nivcertora
❌ @liav-certora
_{You can retrigger this bot by commenting recheck in this Pull Request}

[mmv08]

Could you please move the folder from root to modules/passkey? Since this is a monorepo and the rules only concern the passkey module, it's better placed there.

You can also enable the "allow edits from maintainers" option so we can fix small nits ourselves.

[hristo-grigorov]

I have read the CLA Document and I hereby sign the CLA

[nlordell]

For the CLA - the individual commit authors need to sign it for the bot. Alternatively, you can squash the commits into one with a single author to make it easier :)