wt verify currently performs multiple checks, but it doesn't verify that keys are in order within a leaf page. Adding this would be a valuable feature.

The __verify_page_content_leaf function checks if each key can be decoded but it doesn't compare keys.

The __verify_tree function also calls __verify_row_int_key_order and __verify_row_leaf_key_order, these functions check the order of the first key of the page but not keys on the page.

Normal cursor functions next and prev will check the order of keys in diagnostic mode.