Add timeout to normalization

[BinderDavid]

If we have a non-terminating expression which is evaluated during normalization then we will currently hang the LSP and the compiler. I think it makes sense to add a limit on the iterations that the normalizer is allowed to take and to report an error if this limit is reached.