Re-Enable TLC LazyValues

[lemmy]

TLC 1.7.2 suffered from tlaplus/tlaplus#798, which is why TLC LazyValues are disabled in the 1.7.2 test suite. With tlaplus/tlaplus#798 fixed, LazyValue should be re-enabled for 1.7.4 and 1.8 (once we have established 1.7.4 as the new baseline).

ValidationTestSuite/testgen/runner.py

Line 139 in 8c97243

'-Dtlc2.value.impl.LazyValue.off=true',

[lemmy]

1.7.4 baseline established by https://github.com/tlaplus/ValidationTestSuite/actions/runs/18132802943