[CL] Demo non-monotinicity of approx root using hand picked values

[AlpinYukseloglu]

Ref: #5517

What is the purpose of the change

This branch demonstrates that our ApproxRoot function is non-monotonic using hand picked inputs.

Testing and Verifying

N/A

Documentation and Release Note

• Does this pull request introduce a new feature or user-facing behavior changes?
• Changelog entry added to Unreleased section of CHANGELOG.md?

Where is the change documented?

• Specification (x/{module}/README.md)
• Osmosis documentation site
• Code comments?
• N/A

[ValarDragon]

ty for making this!

[ValarDragon]

This doesn't demonstrate the problem, because these have equal square roots. Its fine (necessary even) for them to be allowed to be equal under the SDK decimal representation. We could only hope to avoid that with precision limits or floats

[AlpinYukseloglu]

Hm. I was operating under the definition "if p1 > p0, then f(p1) > f(p0) independent of error in f" brought up in previous discussions when I made this, but this does make sense.