EVM: homogenize [gas_limit] representation through all modules

The representation is inconsistant right now, between u64 at some places and mostly U256 instances.

We should use U256 or u64 everywhere to avoid odd and unecessary conversion.