chore: Update for latest Sphinx

[wwared]

Companion PR for https://github.com/argumentcomputer/sphinx/pull/164 Companion PR for https://github.com/argumentcomputer/sphinx/pull/186

A handful of minor changes to be cleaned up later:

• MachineAir needs to be 'static + Send + Sync, which meant removing many references in Lair structs
• The prove method is now a part of DefaultProver
• We apparently need to shard before proving

Consider this commit as "something that works" rather than "something good", a short list of things to clean up in follow-ups:

• Re-add sharing between Funcs, Toplevel, etc
• Factor out prove/verify code into our own Prover types
• Explicit sharding support in the prover

NOTE: Should be merged after https://github.com/argumentcomputer/sphinx/pull/186 and updating the branch references in Cargo.toml