Add -disable-debug-info-verifier to a RUN line.

Found by running the test with pipefail enabled.