Add an assertion that would fail if we regress.