Property testing with tree-edit

[ethan-leba]

Would be interesting to add property testing to validate that tree-edit's editing operations are always correct, i.e. on some random correct syntax tree perform an abritrary action and assert the result is still valid.