Added test for assume() and assert() to work in test runner as expected.