Use QuickCheck features in Seq property tests (#1197)

Use .&&. and === wherever suitable. This leads to better failure
messages compared to having a Bool.
Also separate the validity checks from the equality checks for
simplicity.
Change some tests to use arbitrary functions where it seems suitable.

Author: meooow25