See how things work with junit-quickcheck - not bad, but need to stabilize random inputs