Convert test to FileCheck and make it more strict.