Add initial 4_statefulTesting.md