Feat/cl vault prop assertions

[magiodev]

1. Overview

Implementing assertions to CL Vault contract proptests.

2. Implementation details

Asserting before and after values retrieved by chain modules / contract using assert macros from Rust testing crates.

3. How to test/use

Run the test inside contracts/cl-vault/test_tube/proptest.rs

4. Checklist

• [ ] Does the Readme need to be updated?

5. Limitations (optional)

6. Future Work (optional)

Creating more deterministic (less randomic) test cases like forcing the current tick to be in-range, and so on.