Documentation

Compute the number of steps the interpretation of a free applicative action
would take. The number of steps is the cummulative result of the cost
function given to requiredGas. The limit is called the gas, by typical
car analogy.