test: update tests, benches, and examples for spongefish API#18

shreyas-londhe wants to merge 2 commits intoa16z:maina16z/dory:mainfrom

shreyas-londhe:feat/spongefish-2-testsshreyas-londhe/dory:feat/spongefish-2-testsCopy head branch name to clipboard