[0.23] Detect breaking changes

[turbolent]

Work towards https://github.com/dapperlabs/cadence-private-issues/issues/43

Description

Add an analyzer tool which detects most breaking changes of Secure Cadence:

Breaking changes which are statically detectable:

• Report an error when the parameter list is missing commas #1073
• Use common super-type for expression type inferring #1027
• Taking a reference to an optional value now produces an optionally-typed reference #1303
• Disallow arithmetic, comparison and bitwise operations on number supertypes #1360
• Limit mutation of container-typed fields to the scope of the composite #1267
• Remove addPublicKey and removePublicKey #1515

Breaking changes which cannot be detected statically, but can be hinted at:

• load, copy and borrow cause a force cast  #1286
• Zero-pad string representation of addresses #1214

---

• Targeted PR against master branch
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work
• Code follows the standards mentioned here
• Updated relevant documentation
• Re-reviewed Files changed in the Github PR explorer
• Added appropriate labels

[turbolent]

• Added documentation / README
• Fixed analyzers
• Added more analyzers
• Added support for analyzing contracts of network accounts

[turbolent]

Made a few improvements:

• Add support for transactions and scripts (also changes the CSV format)
• Improve supertype inference analyzer

Could you please have another look at the recently added commits @SupunS and @dsainati1?
Once approved, I'll create a new release for the tool

[SupunS]

Checked the most recent commits. LGTM!