Audit Draft PR for Code Review

[derek-certora]

Summary

This is a draft PR to make it easy to get code review on the new rules being written.

Files

The new spec and conf files are located in respective v1.5 files, in order to keep the new spec separate (for now) from the old spec.

Note

This is a rebased version of a the previous working branch, derek/audit, onto a more recent commit given by the customer.

[github-actions]

CLA Assistant Lite bot:
Thank you for your submission, we really appreciate it. Like many open-source projects, we ask that you 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

---

Derek Sorensen seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You can retrigger this bot by commenting recheck in this Pull Request}