fix(cartridges): type-check all cartridge ABIs under Idris2 0.8.0 + gate them in CI#191

hyperpolymath merged 4 commits into

mainhyperpolymath/boj-server:mainfrom

claude/cartridge-abi-proofshyperpolymath/boj-server:claude/cartridge-abi-proofsCopy head branch name to clipboard