v0.0-588-gb895b01: Align randcase.

Happens to already be covered by the original case item handling,
but tests needed to preserve that in case we re-enumerate the CST.

fixes #413

PiperOrigin-RevId: 331619868