fix: migrate cartridge procs usage to box.lib

Summarize the changes

• fix: migrate cartridge procs usage to box.lib

Previously, it shared stored procs via box.func, which is dangerous, because replica can outpace master and don't receive funcs when needed.

Instead, we use box.lib to not rely on replication.

Ensure that

- [ ] New code is covered by unit and integration tests.
- [ ] Related issues would be automatically closed with gitlab's closing pattern (Closes #1, #2).
- [ ] Public modules are documented (check the rendered version with cargo doc --open).
- [ ] (if PEST grammar is changed) EBNF grammar reflects these changes (check the result with railroad diagram generator.

Next steps

• Update sbroad submodule in picodata/picodata.
• (if EBNF grammar is changed) create a follow-up issue in picodata/docs.