Revert "adding a specialization tactic"
Revert "adding a specialization tactic"

This reverts commit de00bbdb6638b668fef40229d631d010004c55e1.

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