Add FileCheck -implicit-check-not option to allow stricter tests without adding too...