Just to clarify, I haven’t seen anybody saying that “inv is not important”. What I have seen people saying, myself included, that inv is often not the best tool what is needed in production code (except a few niche applications), but it is very useful for debugging and experimenting and checking:
and we need to have it, for example as part of stdlib.