Removed TokenVM::hasExecuted()

Does not work well and nobody needs it anyway.