Added tests for move_down().
Clarified the design that before a move is executed, the original caret position should be adjusted to a valid buffer coord.