Decode token sequences with beam search over supplied next-token probabilities, cumulative scores, and stable tie handling.
