Make local `inline val`s effectively erased.

[nicolasstucki]

We just need to enable it in isEffectivelyErased. The issue is that in some situations some inline val in inline defs do not get fully inlined (or constant folded). That must be fixed first.

See #8842 and #8843