Add regression test for verify bug