Actually call FileCheck in tests
Add extra CHECK prefix to tests with explicit prefix

These tests mistakenly assume that CHECK is still available even if an
explicit prefix is specified.
Fix more broken CHECK lines