ulib: boost rlimit on reflection.formula
ulib: boost rlimit on reflection.formula

this goes through OK in 4.5.1 without this change, but the build machine is
failing to prove it

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