Revert "***NO_CI*** attempt at fixing a regression in FStar.List"
Revert "***NO_CI*** attempt at fixing a regression in FStar.List"

This reverts commit 39bf4a52d6905cd3e03e34f509eb8721484a2fde.

FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar