Refactor pow builtin to work in logarithmic time and adjust gas charge accordingly

[anton-trunov]

I also added some unit tests for small numbers and a stress test which basically looped forever before this change. This is a follow-up on our discussion of the issue uncovered by the Scilla-Chick tool.