Revert "examples: need to bring back some reflection/tactics facts to verify"
Revert "examples: need to bring back some reflection/tactics facts to verify"

This reverts commit 2e29baa38464ed56c8e0471b43a04a8cf8b901e9.

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