* Refactor: Adding tests for Portal contract

* Fix linting

* Doc: auto-gen doc for invariant

* Fix : Adding try & catch
Co-authored-by: clabby <ben@clab.by>

* Fix & Feat: Assuming and Bounding Fuzz inputs

* Fix linting

* Doc : Fixing by auto-gen doc

* Chore: Removing scratch

* Fix : Moving data length assumption

* Doc: auto-gen doc for invariant

---------
Co-authored-by: clabby <ben@clab.by>