Added more assertions to testEverything()