Opus 4.6 fixes or suppresses a bunch of warnings#4098

nikswamy wants to merge 2 commits intomasterFStarLang/FStar:masterfrom

_nik_warningsFStarLang/FStar:_nik_warningsCopy head branch name to clipboard