Add quickcheck tests for op soundness