Removed extra semicolons from SILC_ASSERT and SILC_VERIFY macros