Cherry-pick the fix of limit instantiation recursion for all type instantiation onto main

[rahxephon89]

@dariorussi I disabled a failed check in instantiation_tests.rs. I think it may related to a code change here. Could you take a look and give a hint on how to fix it? Thanks

[dariorussi]

or if that unblocks you faster I can just accept and I'll do the cleanup later. Still let's talk about it, but maybe I'll just accept your PR....

[rahxephon89]

Thanks!