docs: update spec for projective EC opcodes#2402

jonathanpwang merged 1 commit intodevelop-v1.7.0openvm-org/openvm:develop-v1.7.0from

docs/projective-ec-specopenvm-org/openvm:docs/projective-ec-specCopy head branch name to clipboard