[DSP-54] Remove unnecessary usages of integrationalTestProperty

Description

Problem: in some places we use integrationalTestProperty to construct a Property which does not use anything from QuickCheck except ability to fail. Those tests are not property tests, they always work with fixed data. It is at least confusing. Probably it's also slightly more heavyweight because QuickCheck is more sophisticated than hspec-expectations and HUnit.

Solution: use integrationalTestExpectation instead.

Related issue(s)

https://issues.serokell.io/issue/DSP-54

✅ Checklist for your Merge Request

Related changes (conditional)

• Tests (see short guidelines)

  • If I added new functionality, I added tests covering it.
  • If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.

• Documentation

  • I checked whether I should update the docs and did so if necessary:
    • README
    • Haddock
    • docs/

Stylistic guide (mandatory)

• My commits comply with the following policy.
• My code complies with the style guide.