ALGO_VALIDATE() macro in test programs now supports GCC and Clang
Fixed capacity printout in test_stack