verify.js should show stderr output
better error feedback on redos test.