(void*) to static_cast, removes empty destructor

Removes the empty destructor on the _Table_Locker class since it doesn't
do anything anymore.  Also changes the c-style cast in tablesynchronized
to a static_cast.  Updates various comments.