Design a linear-time algorithm that verifies that the height information in an AVL tree is correctly maintained and that the balance property is in order.
a) Bubble Sort
b) Depth-First Search
c) AVL Tree Rotations
d) QuickSort