Investigate and Evaluate Fuzzing testing

[eloylp]

Summary

Investigate fuzzing testing for Soroban smart contracts (See examples here). Some of the questions to answer:

• How much value would add to our catalog ?
• Define an implementation plan for the current catalog, specifying testing points.
• Study CI integration.

Motivations

One of the pillars of our smart contract catalog is the trust it provides to the community by:

• Being used by many developers.
• Security auditories

Adding fuzz testing will probably add a third bullet point to the above list.

Final conclusion

TBD