normalizer: break interference between Primops and Simplify
normalizer: break interference between Primops and Simplify

is simplify was around, primops was ignored. change that

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