Adding some code contracts.
Fixing some analysis errors.
Working on multi-line inserting.
Getting undo/redo working with multi-line pasting.
Organization of unit tests, added three line pasting with undo/redo combinations.