Add `/warnVacuousProofs` option #1950

Job	Run time
Boogie CI (Debug, batch_mode=True)	51s
Boogie CI (Debug, batch_mode=False)	53s
Boogie CI (Release, batch_mode=False)	42s
Boogie CI (Release, batch_mode=True)	46s
	3m 12s

Provide feedback