Fix some -Wdocumentation warnings in Sema.h and try to fix test for win64