use the new --normalize_pure_terms_for_extraction flag when extracting FStar.UInt128
use the new --normalize_pure_terms_for_extraction flag when extracting FStar.UInt128

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin