Revert "***NO_CI*** wip monotonic arrays"
Revert "***NO_CI*** wip monotonic arrays"

This reverts commit dc0dd1be80e5b537f3556724563ced5bd36add5b.

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