Updated readme and test.tl to print assertion passed