Changes labels to label indexes, and resolves addresses, in arguments
called by this.verify
false if there are invalid labels or addresses
See Implementation
Changes labels to label indexes, and resolves addresses, in arguments
called by this.verify