Verifier complains about Projs in wrong block.