Revert "Revert "Followup changes to addition of -fwarn-context-quantification""

This reverts commit db14fd8ab4fab43694139bc203808b814eafb2dc.
It's in HEAD now.