clear out .checked.lax files in src/.cache.boot when doing make_bench_results.sh
clear out .checked.lax files in src/.cache.boot when doing make_bench_results.sh

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar