Get rid of "unsused variable" warnings by making use of BOOST_VERIFY. This changeset is for pthread only.