normalizer: print `should_delta` when debugging is on
normalizer: print `should_delta` when debugging is on

I find I very often need this

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