test.tcl: added more assertions to proc assert and updated examples/001_basic.tcl