Finished init write up of compileVerifier