Revert "***NO_CI*** comments about fixed universes"
Revert "***NO_CI*** comments about fixed universes"

This reverts commit 3cf6ab7a2088d2b01a32532608daccb39e3e7a0d.

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