Oops, that's what I get for not trying to compile without --enable-debug.  As is in the debug case, I had meant to define VERIFY0 in terms of VERIFY3U and not in terms of VERIFY3_IMPL.