levm: replace gas type from U256 to u64

[JereSalo]

Currently we are using U256 for representing gas but the actual type that should be used is u64.
We won't have a problem if we keep on using U256 but u64 is a more convenient type to interact with.
Other things like account balance should stay as U256.
This is not a priority but is something we can do.