bug fixes in assertions and test runner