User correct case for 'FileCheck'.
Mark these tests as XFAIL while waiting for SROA to be fixed.