[WIP] Add avl tests

This pull request adds and fixes the avl tests
Can you please add a short note (in the source) why we do not use `ck_assert_int_eq()` ? Also for the other locations where you do `1 == ...`, please.