[Prover] Added DeFi examples

[junkil-park]

Description

• Created two DeFi examples, revamping the previous rounding error examples
  • One is a simple dex pool based on Uniswap V1
  • Another is a simple reserve-backed currency system
• Defined the safety properties for the examples, and proved them with Move Prover

[trunk-io]

⏱️ 2h 37m total CI duration on this PR

Job	Cumulative Duration	Recent Runs
rust-move-unit-coverage	1h	🟩 🟩 🟩
rust-move-tests	36m	🟩 🟩 🟩
rust-targeted-unit-tests	17m	🟩 🟩 🟩
rust-lints	17m	🟩 🟩 🟩
run-tests-main-branch	14m	🟩 🟩 🟩
general-lints	5m	🟩 🟩 🟩
check-dynamic-deps	4m	🟩 🟩 🟩
semgrep/ci	1m	🟩 🟩 🟩
file_change_determinator	35s	🟩 🟩 🟩
file_change_determinator	29s	🟩 🟩 🟩
permission-check	12s	🟩 🟩 🟩
permission-check	9s	🟩 🟩 🟩
permission-check	8s	🟩 🟩 🟩
permission-check	7s	🟩 🟩 🟩

🚨 1 job on the last run was significantly faster/slower than expected

Job	Duration	vs 7d avg	Delta
rust-targeted-unit-tests	6m	19m

_{settings ⋅ feedback ⋅ docs ⋅ learn more about trunk.io}

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 57.6%. Comparing base (7719765) to head (da1da17).
Report is 3 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main   #13281   +/-   ##
=======================================
  Coverage    57.6%    57.6%           
=======================================
  Files         834      834           
  Lines      198396   198396           
=======================================
+ Hits       114325   114367   +42     
+ Misses      84071    84029   -42     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[rahxephon89]

LGTM, thanks!