Add check for VirtualDestructors

I'm thinking this may miss some corner cases, but for the obvious cases
I thought of, it works.