Android: Default to a larger voice typing model

[personalizedrefrigerator]

Summary

This pull request changes the default voice typing model from whisper-base-q8_0 to whisper-small-q8_0.

The small-q8_0 model is larger than base-q8_0 and has better accuracy. This is particularly important for non-English languages (e.g. French) that have low accuracy with the base model. However, transcription with this model is slower. See the model release page for more details.

Testing

Android 13:

1. Open a note.
2. Start voice typing.
3. Verify that the dialog shows "Downloading English language files..."
4. Verify that after the model finishes downloading it's possible to start voice typing.

[personalizedrefrigerator]

Converting to a draft — with English-language input, the small-q8_0 model has been observed to occasionally insert "It's a note taking application." when it should insert nothing. This may be due to the prompt included with the model.

Update: This seems to be roughly just as much of an issue as with the base-q8_0 model, so is not a regression.