rt: Added aa.v, implemented RedBlackTree validation
rt: Implemented aa lookup and RBT tree-rotation
rt: Implement aa insertion
rt: change NIL nodes to null
rt: Implemented AA deletion