Add a test that the build cache is sensitive to different Kani versions #2231
Description
Proposed change: We need a way to test that change to Kani versions invalidate the build cache.
Motivation: Failure to do so may cause inconsistent behavior.
{{ message }}