to be reverted: disable csl examples for now (some unexpected perf regression)
to be reverted: disable csl examples for now (some unexpected perf regression)

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar