Thread-safety checker updates

const is not meaningful on function pointers. Don't warn about missing const when returning function pointers.

Extend test for calling a virtual destructor to handle the case where the argument to delete is a reinterpret_cast from void. The actual type information gets lost in the call stmt in this case, so we need to trace back through the vtable fetch.

Don't warn about unchecked calls to Eigen.