Fix failing CI

[frozenspider]

A follow-up to #74 (comment), resolves #63

1. large_shape() was too large to use in a full e2e test suite as it took way too much time and memory - on my machine it was killed due to OOM after running more than 7 minutes, which isn't viable at all.
   To work around that, part of the Instance code has been moved to HonestClaim, and large_shape() now only tests a subset of e2e flow.

2. Even then, ubuntu-latest build takes 55 minutes. Turns out, optimization level matters a lot: e.g. malformed_virtual_proofs_are_rejected locally takes 45 second in unoptimized + debuginfo and just 1 second in optimized + debuginfo configuration.
   Here, I decided to enable CARGO_PROFILE_TEST_OPT_LEVEL: 3 for CI only, bringing ubuntu-latest build + test time to much more bearable 10 minutes fresh/8.5 minutes cached.
   However, doing this locally would trigger long rebuilds often and interfere with debugging, so instead I've added opt-level = 3 to dependencies that benefited the most from it. This adds just a few seconds build time but makes malformed_virtual_proofs_are_rejected complete in 20 sec (2x faster) on my machine.

3. Additionally, added -C target-feature=+aes on aarch64 architectures to speed up tests even further

[zkfriendly]

Great, thanks for the fix