clean up assert_* procedures, add new optional parameter for severity level