Copy fixes to Osaka OOB

[lorenzogentile404]

Note

Widen OUTGOING_INST to :i16, increase CT_MAX_BLS_G{1,2}_MSM to 7, and set oob-into-add/oob-into-mod lookups to :unchecked.

• Osaka OOB columns (oob/osaka/columns.lisp):
  • Change OUTGOING_INST type from :byte to :i16.
• Constants (oob/osaka/constants.lisp):
  • Increase CT_MAX_BLS_G1_MSM and CT_MAX_BLS_G2_MSM from 6 to 7.
• Lookups:
  • oob/osaka/lookups/oob-into-add.lisp: mark defclookup as :unchecked for oob-into-add.
  • oob/osaka/lookups/oob-into-mod.lisp: mark defclookup as :unchecked for oob-into-mod.

^{Written by Cursor Bugbot for commit 7c9fb4e. This will update automatically on new commits. Configure here.}