assert-h: work around 'verify' incompatibility