add new procedures assert_true(boolean) and assert_false(boolean)
add test for ascending slv; add info about successfully finished simulation
replaced assert statements by procedures defined in AssertP package
add StringP & AssertP source files to Queuet target