Disable hint info for shorter logs, hopefully allowing me to debug travis
Disable hint info for shorter logs, hopefully allowing me to debug travis

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