collect/filter termination failure

Adds three failing tests exhibiting collect/filter halt bug #290 
Also adds three passing tests exhibiting situations that are not affected by the bug.

```
[info] + Wye.interrupt-constant.signal-halt: OK, proved property.
[info] + Wye.interrupt-constant.signal-halt.collect-all: OK, proved property.
[info] ! Wye.interrupt-constant.signal-halt.collect-none: Exception raised on property evaluation.
[info] > Exception: java.util.concurrent.TimeoutException: null
[info] ! Wye.interrupt-constant.signal-halt.filter-none: Exception raised on property evaluation.
[info] > Exception: java.util.concurrent.TimeoutException: null
[info] + Wye.interrupt-constant.signal-constant-true.collect-all: OK, proved property.
[info] ! Wye.interrupt-constant.signal-constant-true.collect-none: Exception raised on property evaluation.
[info] > Exception: java.util.concurrent.TimeoutException: null
```
This test passes, so that the process `v` terminates, as expected.