Each test can specify expected outcome; got rid of NoPropagationTestExerciser