Add tests with more than a single shard

Currently all tests (including e2e tests) only have one shard in the main core proof, leading to some verifier codepaths and conditional constraints/checks not being exercised by CI

Ideally, this test should exercise both the rust and the recursive verifiers