binary search gas limits

[0xSulpiride]

Description

• enabled binary search for verificationGasLimit
• simulateHandleOp estimates callGasLimit better than the binary search, so I disabled it (it was proved by stackup too - https://www.stackup.sh/blog/estimating-callgaslimit-for-useroperations). Also estimating callGasLimit with the binary search does not work in unsafeMode
• updated the tracer
• updated the opcode validation as per the new test cases

Types of changes

What types of changes does your code introduce?
Put an x in the boxes that apply

• Bugfix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation Update
• Code style update (formatting, renaming)
• Refactoring (no functional changes, no api changes)
• Build related changes
• Other (please describe):

Further comments (optional)

[ch4r10t33r]

LGTM