Applying `to_tensors()` after `stretch_note_sequence()` results in a non-modified data point

[dbbz]

Hi, using note_seq.sequences_lib.stretch_note_sequence() results indeed in a stretched musical sequence when played with play_sequence(), however, after converting to tensors, the shape of the result is identical to the original sequence. Is that behavior normal?

Perhaps not modifying the tempo (unlike in

note-seq/note_seq/sequences_lib.py

Line 1342 in 7549b1f

for tempo in stretched_sequence.tempos:

) is the expected behavior?

Thanks,