Make property tests run optional

[techraed]

Problem to Solve

Property tests give a great advantage in checking invariants, however take lots of time in comparison to other tests.

Possible Solution

Would be nice to make the proptests run configurable in accordance to profile or other conditions. To decrease proptests time we can:

1. define test cases amount in accordance to some conditions (for example, profile). For more info see: https://altsysrq.github.io/proptest-book/proptest/tutorial/config.html
2. optionally run proptests from CI/test scripts in accordance to some conditions.