add some things to help debug with Verifier, add -verifier-strict