Import test/stressProof and the tutorials