less verbose testing

examples/cascade_example.cpp

examples/cascade_proton_example.cpp

tests/framework/testCascade.cpp

tests/framework/testSolver.cpp

tests/modules/testNullModel.cpp

tests/modules/testOnShellCheck.cpp

tests/modules/testSibyll.cpp