Use WITH_VERBOSE instead of NDEBUG to enable debug printing via policy.TRACE()

3 jobs for qry-trace in 1 minute and 45 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #1577
docker linux amd64
build:linux:amd64

00:00:28

 
  Test
passed #1579
docker linux amd64
deckard:linux:amd64

00:00:54

passed #1578
docker linux amd64
test:linux:amd64

00:00:22