Verifier: Make the raw_ostream constructor argument required