Fix interaction between "Hide cursor while typing" and InsertWithCursor().
Update mouse cursor in InsertWithCursor() mode.
Remove "allow overstrike" option.

I don't think we should have this in our options dialog. Having too many options just is unnecessary complexity, both for users and when testing.