nmirchev8_ctf - Incorrect check for gas

[0xleadwizard]

The current check is:
x = (g-g/64)
y = gasLImit
x > y else revert
but it should be x >= y

      // if g - g//64 <= gasAmount, revert. We subtract g//64 because of EIP-150
      if iszero(gt(sub(g, div(g, 64)), gasLimit)) {
        mstore(0x0, NOT_ENOUGH_GAS_FOR_CALL_SIG)
        revert(0x0, 0x4)
      }

[NicolaMirchev]

This is intended behaviour as you can see by the comment:
if g - g//64 <= gasAmount, revert