testPropagateDataFaultFlag:

Apapt test sequences of testDeviceReadFailure and
testDataValidPropagationOnException according to new data validity and
exception handling specifications.

Also fixes data race on runApplication in the constructor of
data_validity_propagation_noTestFacility test suite.