Refactoring for use as a submodule

Some things that need to be done:

#initCoverage and #finishCoverage are in place, but are not being used yet. I don't yet know where to insert them into the execution and how to pick the correct <bytecodeCoverage> cell. I have tried but so far have had no success.
Actual coverage recording for each instruction such as visited, branch taken/not taken, exception thrown still need to be put in place. This is blocked on the above item.
We should discuss how we want to index the instructions in a contract. Currently I am indexing them starting from 0 at the beginning of each contract declaration within a whole contract, with the reasoning being that if a contract does a create operation then the new account with the contract wont have instructions starting from a non-zero index. If we want to number them starting from zero globally in the contract then we will have to be careful of this.

runtimeverification / iele-semantics