Assertions for testing in Tcl