* Add EmptyThreadStacks test

* add go evm check

* improve consistency and update test

* delete emptyThreadedProofGenerator

* forge lint update

* fix solidity versioning and hash & add proof variations in test