Add -goto_for_early_return transformation#731

nikswamy wants to merge 3 commits into

masterFStarLang/karamel:masterfrom

_goto_for_early_returnFStarLang/karamel:_goto_for_early_returnCopy head branch name to clipboard