Add -fwarn-context-quantification (#4426)