Change Details

Make sure we are testing what we expect.

Make sure we are testing what we expect, i.e. node 1 (and not 0) turns the proof mature (which wait_for_proof doesn't do as it asserts as soon as the proof is found).

Make sure we are testing what we expect, i.e. node 1 (and not 0) turns the proof mature (which wait_for_proof doesn't do as it asserts as soon as the proof is found).