fix: Added addresses for Plasma and Bob and fixed some consensus in r…

[sendra]

Add addresses for Plasma and Bob in Readme
Fixed consensus numbers in Readme

[github-actions]

Certora Run Started (Certora Prover Run)

• Group ID: 5e1485b1-f52a-48f5-9ac6-f110d57251bc

Config	Status	Link	Log File
verifyCrossChainControllerWithEmergency.conf	Submitted	link	security/certora/confs/verifyCrossChainControllerWithEmergency.conf-910bdcd8a596.log
verifyCrossChainForwarder-encode-decode-correct.conf --rule encode_decode_well_formed_TX	Submitted	link	security/certora/confs/verifyCrossChainForwarder-encode-decode-correct.conf-36fdc6072a09.log
verifyCrossChainForwarder-envelopRetry.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-envelopRetry.conf-d60f7d5f9f47.log
verifyCrossChainForwarder-invariants.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-invariants.conf-dfc07409be8c.log
verifyCrossChainForwarder-newEnvelope.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf-91583b6c9faf.log
verifyCrossChainForwarder-sanity.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-sanity.conf-28ad3f503843.log
verifyCrossChainForwarder-shuffle.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-shuffle.conf-f53dadbe1c97.log
verifyCrossChainForwarder-simpleRules.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-simpleRules.conf-ed11116dddb4.log
verifyCrossChainReceiver.conf	Submitted	link	security/certora/confs/verifyCrossChainReceiver.conf-f6d1cb13ee0f.log

Certora Run Summary

• Started 9 jobs
• 0 jobs failed

Download Logs