Code freeze for fluffypill0w

1 auditor, focusing on writing invariant tests with Foundry and Medusa,
referencing the file NOTES_TO_AUDITORS.txt