Address some PR comments
Adjust the unit testing for Tarjan's algorithm
Fix typo
Fixes and cleanup for polymorphic recursion check
Reduce allocation in this for loop
Avoid a dict-ref since it's slow