Checks that an overriding finalize() method invokes super.finalize().