Rather than verifying all possible compiler outputs, just check that the current output was optimised correctly!