added test infrastructure and Verifier -d (-debug) start parameter