Fix type/subclass check limit
Instead of counting only recursion depth, and effectively decrementing
the counter on every return, count total invocations of the method and
don’t decrement the counter in one check operation.
Since this results in a higher count for classes with more than one
superclass, slightly increase the limit.