Run tests on a 32-bit machine for CI #75
Description
To maintain compatibility with 32-bit hosts we should test 32-bit on CI. CC @ec2
Unfortunately this seems rather difficult:
Maybe there's some tooling from RISC0's pipeline that we could use for testing?