v0.0.0-8723-ge6a3cab24

Replace an instance of DSLX interpretation with VAST folding in VAST.

Logic that interprets DSLX during the conversion of VAST->DSLX depends on ad hoc TIv1 usage, which the overall goal is to eliminate.

PiperOrigin-RevId: 810595562