Enable stricter verifier checks to uncover more codegen bugs