add support for prank(sender, origin) and startPrank(sender, origin) … #387

Job	Run time
test (morpho-org/morpho-data-structures, morpho-data-structures, --function testProve --loop 4 --...	58s
test (a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop 256 --solver-co...	4m 9s
test (a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 256 --solver-comma...	3m 54s
test (farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2)	2m 44s
test (zobront/halmos-solady, halmos-solady, --function testCheck --solver-command yices-smt2)	44s
test (pcaversaccio/snekmate, snekmate, --config test/halmos.toml --solver-command yices-smt2, hal...	27m 3s
test (--cache-solver, morpho-org/morpho-data-structures, morpho-data-structures, --function testP...	43s
test (--cache-solver, a16z/cicada, cicada, --contract LibUint1024Test --function testProve --loop...	3m 45s
test (--cache-solver, a16z/cicada, cicada, --contract LibPrimeTest --function testProve --loop 25...	4m 23s
test (--cache-solver, farcasterxyz/contracts, farcaster-contracts, --solver-command yices-smt2)	2m 27s
test (--cache-solver, zobront/halmos-solady, halmos-solady, --function testCheck --solver-command...	9m 10s
test (--cache-solver, pcaversaccio/snekmate, snekmate, --config test/halmos.toml --solver-command...	26m 57s
	1h 26m 57s

Provide feedback