Revert "More fuel, rlimit"
Revert "More fuel, rlimit"

This reverts commit 0a3b05892252e637f3758de57240315949bd2e01.

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