feat: compute a better gas limit for recursive external contract calls

[travisperson]

Related Issues

#10041

Proposed Changes

After running GasEstimateMessageGas in EthEstimateGas execute the message using CallWithGas to verify that the estimated gas limit (derived from the gas used) succeeds. If the message fails, double the gas limit till success is achieved (usually within 1), and then binary search to within 100,000 gas, always returning the last successful gas limit that succeeded.

Additional Info

Checklist

Before you mark the PR ready for review, please make sure that:

• Commits have a clear commit message.
• PR title is in the form of of <PR type>: <area>: <change being made>
  • example: fix: mempool: Introduce a cache for valid signatures
  • PR type: fix, feat, build, chore, ci, docs, perf, refactor, revert, style, test
  • area, e.g. api, chain, state, market, mempool, multisig, networking, paych, proving, sealing, wallet, deps
• New features have usage guidelines and / or documentation updates in
  • Lotus Documentation
  • Discussion Tutorials
• Tests exist for new functionality or change in behavior
• CI is green

[arajasek]

Basically good to go, just some nits.