Fail at compile time on unsatisfied equality of complex values

[Schaeff]

Closes #1031 but since this happens in zir we can't point at which assertion failed. I assume this will be easier once #1012 is in as we would still have the source location and optional message. Note that now in the typed_absy propagation, we show which expression ended up being false, but this is not always the original expression, it is the expression after the previous pass (which can expose some compiler internal variables unfortunately):

def one() -> field:
    return 1

def main():
    assert(one() + 1 == 1)
    return

Will fail with

Assertion failed on expression `(#CALL_RETURN_AT_INDEX_0 + 1f) == 1f`

All in all, #1012 will be nice as it has a reference to the original source, not to the previous pass, for both typed_absy and zir propagation.

[dark64]

Merged develop and added some tests, should be good now