feat: Added scripts readme

[sendra]

No description provided.

[github-actions]

Certora Run Started (Certora Prover Run)

• Group ID: 76f856d2-6506-4872-83f2-3411c3fe2b35

Config	Status	Link	Log File
verifyCrossChainControllerWithEmergency.conf	Submitted	link	security/certora/confs/verifyCrossChainControllerWithEmergency.conf-00c2baf2400c.log
verifyCrossChainForwarder-encode-decode-correct.conf --rule encode_decode_well_formed_TX	Submitted	link	security/certora/confs/verifyCrossChainForwarder-encode-decode-correct.conf-5854bf37c37f.log
verifyCrossChainForwarder-envelopRetry.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-envelopRetry.conf-0c99ae685f74.log
verifyCrossChainForwarder-invariants.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-invariants.conf-20760dd77612.log
verifyCrossChainForwarder-newEnvelope.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf-635de398286a.log
verifyCrossChainForwarder-sanity.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-sanity.conf-e5ee2cb1598f.log
verifyCrossChainForwarder-shuffle.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-shuffle.conf-2c842518fd46.log
verifyCrossChainForwarder-simpleRules.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-simpleRules.conf-81b1d365de92.log
verifyCrossChainReceiver.conf	Submitted	link	security/certora/confs/verifyCrossChainReceiver.conf-a5397be9b8c4.log

Certora Run Summary

• Started 9 jobs
• 0 jobs failed

Download Logs