Also switch to the explicit verifier construction approach, so the diff for disabling implicit compile is even shorter