Add example of cost proof

[dnezam]

PR #1092 is aiming to remove examples/cost as they are currently broken. According to @myreen on Discord, the cost proofs are brittle since they work on the compiler-generated dataLang code, meaning that whenever the compiler changes, those proofs will need to be updated.

Thus, this issue tracks choosing one proof and committing to maintaining it.