A new property test generates nodes & jobs and runs the scheduler with
simple invariant property tests. On error, the shrink loop searches
for a smaller input set.