quickcheck and additional bugfix for FlowRemoved

hooray for tests.

Andrew