Run tests to completion even if one property fails. #159
Description
We do this in the snapshot tests by updating a success flag on each test, and we should use that approach in the random DEM tests rather than the failed assert statements, which crash the program.