Use WITH-TEST throughout tests/walk.impure.lisp

Also, don't manually print offending values in STRING=-MODULO-TABSPACE
since ASSERT does that automatically nowadays.