I would also test implementation details that are legitimately complicated and might fail in subtle ways, or where the intended behavior isn't obvious.

If I've implemented my own B+ tree, for example, you better bet your butt I'll be keeping some property tests to document and verify that it conforms to all the necessary invariants.