rename doAssert -> runTests