Added SILC_VERIFY macro, which is same as SILC_ASSERT but is