Invariant (WIP)

Add support for tests that check invariance in the output. That way we have to validate every change that alters output.