Add `/warnVacuousProofs` option #1951

Job	Run time
Boogie CI (Debug, batch_mode=True)	56s
Boogie CI (Debug, batch_mode=False)	46s
Boogie CI (Release, batch_mode=False)	46s
Boogie CI (Release, batch_mode=True)	44s
	3m 12s

Provide feedback