[cxx-interop] [test] Refactor nonescapable test to use -verify

Checking errors with FileCheck is fragile (because of line numbers) and
difficult to follow.

Author: j-hui