Test cases for Hypothesis simplification rules for ITE/DITE

[RSoulatIOHK]

We need to add the necessary test cases to validate all rules mentioned in sc-fvt#289 for hypothesis simplification with ITE/DITE expressions.

---

Transferred from: input-output-hk/sc-fvt#352