add property tests for string diffs
remove repeated code in diff tests