Add test case for previous verify crash