Add test that the kernel checks relevances in Case binders#21883

SkySkimmer wants to merge 1 commit intorocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:test-case-relevanceSkySkimmer/rocq:test-case-relevanceCopy head branch name to clipboard