I have an idea about using WYSIHTML5 editor in the post edit screen, as an alternative to TinyMCE.
One challenging part might be integrating the Add Media button, and dealing with images.
If anyone else is interested in the idea, I would love to work together on it. I'll start by putting together a basic version as a plugin.