clarify that invariant_ functions are checked by different EVM executors (in order to address https://x.com/0xalpharush/status/1803518242067013820 and explain how could be structured to test all of them at same time)
add show progress and threads to general testing profile section
invariant_
functions are checked by different EVM executors (in order to address https://x.com/0xalpharush/status/1803518242067013820 and explain how could be structured to test all of them at same time)