Performs lookup in transitions, assuming determinism.
destination state, -1 if no matching outgoing transition
starting state
codepoint to look up