chore: Improve and update dependencies

[huitseeker]

• Replaced standard HashMap with hashbrown's HashMap in execute.rs for optimization.
• Modified prove method in StarkMachine to take a new additional argument opts of type SphinxCoreOpts.
• Updated several dependencies branch references in Cargo.toml including changing sphinx-core to use plonk-rebased branch.

Companion PR of argumentcomputer/sphinx#72

Note

CI failure is expected, CI should be re-run once argumentcomputer/sphinx#72 is merged.

[arthurpaulino]

Replaced standard HashMap with hashbrown's HashMap in execute.rs for optimization.

Did you run the benchmarks? I recall not seeing any improvements from using this lib on lurk-rs. In fact, I remember seeing worse numbers.

[arthurpaulino]

Okay, HashMap in execute.rs is not used in any perf-sensitive part of the code

[wwared]

This is fine but CI is failing due to an outdated token, we just need to wait a bit for @samuelburnham

[huitseeker]

@arthurpaulino this use of the hashbrown::HashMap is not elective, but due to interaction with the sphinx APIs which do in fact use it over the sdt::collections::hashmap.